crypticsymbol.com guide to Prolog bookscrypticsymbol.com guide to Prolog books

Books on Prolog programming on Amazon. (more programming languages).

popular (well-rated or big-selling) Prolog books on Amazon

"Best Price" for an Amazon book may refer to a used copy.

inexpensive Prolog books on Amazon

Prolog programming

Prolog is a logic programming language. The name Prolog is taken from programmation en logique (French for "logic programming"). It was created by Alain Colmerauer around 1972. It was an attempt to make a programming language that enabled the expression of logic instead of carefully specified instructions on the computer.

Prolog is used in many artificial intelligence programs and in computational linguistics (especially natural language processing, which it was originally designed for). Its syntax and semantics are considered very simple and clear. (The original goal was to provide a tool for computer-illiterate linguists.) A lot of the research leading up to modern implementations of Prolog came from spin-off effects caused by the fifth generation computer systems project (FGCS) which chose to use a variant of Prolog named Kernel Language for their operating system.

Prolog is based on first-order predicate calculus; however it is restricted to allow only Horn clauses. Execution of a Prolog program is effectively an application of theorem proving by first-order resolution. Fundamental concepts are unification, tail recursion, and backtracking.


The article above is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Prolog".