Prolog (PROgramming LOGic) is the predominant logic programming language. It is based on first-order predicate calculus, but is restricted to using horn clauses.
grandfather(X,Z) <= parents(X, Y), parents(Y, Z).
Prices shown in USD.
Type your email address below to get our free Urban Word of the Day every morning!
Emails are sent from firstname.lastname@example.org. We'll never spam you.