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.

FACTS

Type of Language: Logic
Designed by: Alain Colmerauer
Public Release: 1972
License: –
Website: –

RECOMMENDED FREE BOOKS

OPEN SOURCE SOFTWARE FOR DEVELOPERS

SWI-Prolog – SWI-Prolog offers a comprehensive free Prolog environment.

USEFUL RESOURCES

The Prolog Programming Contests

RECOMMENDED BOOK TO BUY