Encyclopedia of Machine Learning

2010 Edition
| Editors: Claude Sammut, Geoffrey I. Webb

Prolog

Reference work entry
DOI: https://doi.org/10.1007/978-0-387-30164-8_677

Prolog is a declarative programming language based on logic. It was conceived by French and British computer scientists in the early 1970s. A considerable number of public-domain and commercial Prolog interpreters are available today. Prolog is particularly suited for applications requiring pattern matching or search. Prolog programs are also referred to as  logic programs.

In machine learning, classification rules for structured individuals can be expressed using a subset of Prolog. Learning Prolog programs from examples is called  inductive logic programming (ILP). ILP systems are sometimes – but not always – implemented in Prolog. This has the advantage that classification rules can be executed directly by the Prolog interpreter.

Cross References

Recommended Reading

  1. Colmerauer, A., Kanoui, H., Pasero, R., & Roussel, P. (1973) Un système de communication homme-machine an Français. Rep., Groupè d’Intelligence Artificielle, Univ. d’Aix Marseille II. Luminy, France.Google Scholar
  2. Kowalski, R. A. (1972) The predicate calculus as a programming language. In Proceedings of the International Symposium and Summer School on Mathematical Foundations of Computer Science. Jablonna, Poland.Google Scholar
  3. Roussel, P. (1975). Prolog: Manual de reference et d’utilization. Technical report, Groupe d’Intelligence Artificielle, Marseille-Luminy.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2011