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.
Type of Language: Logic
Designed by: Alain Colmerauer
Public Release: 1972
RECOMMENDED NO CHARGE BOOKS
OPEN SOURCE SOFTWARE FOR DEVELOPERS
SWI-Prolog – SWI-Prolog offers a comprehensive free Prolog environment.