Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML


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.



Add Comment

No comments.