$ whois prolog
Prolog
first released in 1972 · by Alain Colmerauer, Philippe Roussel, Robert Kowalski
$ guessprog --inspect prolog
- year
- 1972
- paradigm
- logic
- family
- prolog
- memory
- automatic gc
- binding
- dynamic
- safety
- strong
PROLOG(7)
- AUTHORS
- Alain Colmerauer, Philippe Roussel, Robert Kowalski
- HISTORY
- Prolog was created in 1972 by Alain Colmerauer and Philippe Roussel in Marseille, France, building on Robert Kowalski's work in Edinburgh on reading logic as a program. The group was working on processing natural language, French in particular, and wanted a language where you state facts and rules and let the computer search for answers. The name comes from the French "programmation en logique". In the 1980s Prolog was picked as the core of Japan's ambitious Fifth Generation Computer Systems project.
- USAGE
- A niche language, used in academia, AI and logic research, teaching, and some expert systems and rule engines. SWI-Prolog is the most popular implementation today.
- SEE ALSO
- Prolog on Wikipedia ↗
parent(tom, bob).
parent(bob, ann).
parent(bob, pat).
parent(pat, jim).
ancestor(X, Y) :- parent(X, Y).
ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).
% ?- ancestor(tom, Who).
% Who = bob ; Who = ann ; Who = pat ; Who = jim.