Prolog (from Programmation en Logique, or Programming in Logic) was discovered in 1970 by Colmerauer in Marselle and Kowalski in Edinburgh. As its name implies, Prolog involves heavy use of first order predicate logic.
Prolog is not an imperative programming language such as C or Pascal is. Prolog is a declarative language. Prolog is often used in Artificial Intelligence programming (especially outside the United States, where Lisp derived languages tend to be heavily used). Prolog relies on unification and processes an internal knowledgebase to answer queries.
Download our tutorial MD5 = 59a435be2c58cd07372089ce04a3b41e
--