Most of the descriptions are taken from the Wikipedia free encyclopedia.

Prolog is an interpreted logical programming language. It is an acronym for PROgramming in LOGic. It was created by [Alain Colmeraurer]? in 1973. Prolog is used in many artificial intelligence programs, but its syntax and semantics is very simple and clear (the original goal was to provide a tool to computer-illiterate linguists).

Prolog is based on first-order predicate calculus; however it is restricted to allow only Horn clauses. Fundamental concepts are unification, tail recursion and backtracking?.