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
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.
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.
Roussel, P. (1975). Prolog: Manual de reference et d’utilization. Technical report, Groupe d’Intelligence Artificielle, Marseille-Luminy.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this entry
Cite this entry
(2011). Prolog. In: Sammut, C., Webb, G.I. (eds) Encyclopedia of Machine Learning. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-30164-8_677
Download citation
DOI: https://doi.org/10.1007/978-0-387-30164-8_677
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-30768-8
Online ISBN: 978-0-387-30164-8
eBook Packages: Computer ScienceReference Module Computer Science and Engineering