Concept of PROLOG (PROgramming in LOGic) emerged in the late 1970's. Early developers include Robert Kowalski and Maarten van Emden at Edinburgh and Alan Colmerauer at Merseilles. Kowalski and Colmerauer's fundamental idea was that logic could be used as a programming language. The result was the PROLOG declarative programming language. Today DEC10 or Edinburgh PROLOG is the \fIde facto\fR standard.
The only genuine programming language based on logic is PROLOG. There are, however, a great number of variants that attempt to improve/enrich the original language.
Created and maintained by Frans Coenen. Last updated 03 July 2001