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.
- 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
- 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
- Roussel, P. (1975). Prolog: Manual de reference et d’utilization. Technical report, Groupe d’Intelligence Artificielle, Marseille-Luminy.Google Scholar