This is an archive of an inactive wiki and cannot be modified.

The Prolog Language

Prolog (for PROgramming in LOGic) is a logic programming language loosely based on first-order logic. It was invented by Alain Colmerauer and Phillipe Roussel at the University of Aix-Marseille in 1971. Since then a large number of good implementations of the language have become available.

See for more details.