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...

48Years Old 42,677Users 402Jobs

Example code from the Hello World Collection:

% Hello World in Prolog

hello :- display('Hello World!') , nl .

Example code from Linguist:

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).

Trending Repos

repo stars description

Last updated August 9th, 2020

Edit Prolog on GitHub