PROLOG – Logic Programming

Prolog is a logical and a declarative programming language. The name itself, Prolog, is short for PROgramming in LOGic. Prolog’s heritage includes the research on theorem provers and other automated deduction systems developed in the 1960s and 1970s. Prolog is the major example of a fourth generation programming language supporting the declarative programming paradigm. The Japanese Fifth-Generation Computer Project, announced in 1981, adopted Prolog as a development language, and thereby focused considerable attention on the language and its capabilities. Lisp and Prolog are the most frequently used symbolic programming languages for artificial intelligence. They are widely regarded as excellent languages for “exploratory” and “prototype programming”.

For more information read the User Guide and Manual.