Prolog is an actively used programming language created in 1972. Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended as primarily a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. Read more on Wikipedia...
- Prolog ranks in the top 1% of languages
- the Prolog wikipedia page
- Prolog first appeared in 1972
- Prolog was created by Alain Colmerauer
- file extensions for Prolog include pl, pro, P, prolog and yap
- See also: poplog, swi-prolog, visual-prolog, mercury, oz, erlang, datalog, unicode, lambda-prolog, html, xml, rdf, owl, actionscript, lisp, planner, agentspeak
- Have a question about Prolog not answered here? Email me and let me know how I can help.
Example code from the Hello World Collection:
% Hello World in Prolog hello :- display('Hello World!') , nl .
Example code from Linguist:
%6.8 subset(Set, Subset) :- append(L1, Subset, Set). powerset(Set, Subset) :- bagof(Subset, subset(Set, Subset), Subset).
Example code from Wikipedia:
rule(q0, 1, q0, 1, right). rule(q0, b, qf, 1, stay).
Last updated January 18th, 2020