Programming language (name derived from Fr. programmation en logique and Eng. programming in logic) that realizes the principles of logical programming, that is, the execution of a program is conceived as carrying out a proof. This is based on the more...

Prolog is a logic programming language. It is a general purpose language often associated with artificial intelligence and computational linguistics. It has a purely logical subset, called "pure Prolog", as well as a number of extralogical features....