Prolog Programming Language Profile

Prolog

Prolog is a general purpose, declarative, logic programming language associated with artificial intelligence and computational linguistics. It is widely used in research and education for natural language processing.

Automatic backtracking is one of the most characteristic features of Prolog. It is a form of searching, fundamental to all artifical intelligence techniques. Prolog also supports multidirectional reasoning; arguments to a procedure can freely be designated inputs and outputs in different ways in different procedure calls. Another key feature of Prolog is that its syntax and semantics are closer to formal logic than say Lisp.