Programming language · 1972
Prolog
Programming language that uses first order logic.
What is Prolog written in?
What Prolog is used for
Prolog is the leading logic-programming language, used for artificial intelligence, expert systems, natural-language processing, and theorem proving, you state facts and rules and let the engine search for answers.
Notable use: parts of IBM Watson, scheduling and constraint systems, and academic AI research (often via SWI-Prolog).
Quick Facts
- Designed by
- Alain Colmerauer, Robert Kowalski, and Philippe Roussel
- First released
- 1972
- Typing
- dynamic
- Filename extension
- .pl, .pro, .P
About Prolog
Prolog is a programming language that uses first order logic. It is a dynamically typed language that is executed directly by an interpreter. It supports logic and declarative programming.
Prolog first appeared in 1972 and was designed by Alain Colmerauer, Robert Kowalski, and Philippe Roussel. Prolog is now used mainly in specialized niches and by dedicated communities.
How Prolog is implemented
In the Language Lineage dataset, its compiler is written in Fortran.
Prolog in the language family tree
Prolog drew on ideas from Planner and went on to influence Erlang and Mercury.
Frequently Asked Questions
Evidence Sources
- https://en.wikipedia.org/wiki/Prolog
- https://en.wikipedia.org/wiki/Erlang_(programming_language)
- https://en.wikipedia.org/wiki/Mercury_(programming_language)
- Prolog on Wikidata (Q163468)