Catalogue of Artificial Intelligence Techniques
Keywords: Horn clauses
Categories: Inference and Reasoning , Logic Programming , Programming Languages , Theorem Proving
Author(s): Paul Brna
Prolog is a programming language originally developed by Colmerauer around 1972. It can be seen as an attempt at a pure Logic Programming language as it is based on the Clausal Form of first order predicate logic restricted to Horn clauses. Essentially, it is a Resolution Theorem Prover. Since the influential implementation of Prolog by D.H. Warren in 1976 and his development of the Warren Abstract Machine (WAM), Prolog has become more suitable for large programming tasks. Its adoption at the heart of the Japanese Fifth Generation Computer Systems project has led to an increase in the volume of research and development work worldwide.
- Sterling, L. and Shapiro, E.Y., The Art of Prolog, MIT Press, Cambridge, Mass., 1986.