Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Logic programming is a programming paradigm based on mathematical logic. In this paradigm the programmer specifies relationships among data values (this constitutes a logic program) and then poses queries to the execution environment (usually an interactive interpreter) in order to see whether certain relationships hold. Putting this in another way, a logic program, through explicit facts and rules, defines a base of knowledge from which implicit knowledge can be extracted. Prolog and LISP two most popular Logic Programming languages.
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Logic programming is a programming paradigm based on mathematical logic. In this paradigm the programmer specifies relationships among data values (this constitutes a logic program) and then poses queries to the execution environment (usually an interactive interpreter) in order to see whether certain relationships hold. Putting this in another way, a logic program, through explicit facts and rules, defines a base of knowledge from which implicit knowledge can be extracted. Prolog and LISP two most popular Logic Programming languages.