Ai
Created page with "== Introduction == Logic programming is a type of programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. thumb|center|A computer screen displaying a code editor with lines of logic programming.|class=only_on_mobile Image:Detail-50986.jpg|thumb|center|A computer scree..."
