<programming> Programming in Logic or (French) Programmation en Logique.
The first of the huge family of logic programming languages.
Prolog was invented by Alain Colmerauer and Phillipe Roussel at the University
of Aix-Marseille in 1971. It was first implemented 1972 in ALGOL-W. It was
designed originally for natural-language processing but has become one of the
most widely used languages for artificial intelligence.
It is based on LUSH (or SLD) resolution theorem proving and unification. The
first versions had no user-defined functions and no control structure other than
the built-in depth-first search with backtracking. Early collaboration between
Marseille and Robert Kowalski at University of Edinburgh continued until about
Early implementations included C-Prolog, ESLPDPRO, Frolic, LM-Prolog, Open
Prolog, SB-Prolog, UPMAIL Tricia Prolog. In 1998, the most common Prologs in use
are Quintus Prolog, SICSTUS Prolog, LPA Prolog, SWI Prolog, AMZI Prolog, SNI
ISO draft standard at Darmstadt, Germany. or UGA, USA.
See also negation by failure, Kamin's interpreters, Paradigms of AI Programming,
A Prolog interpreter in Scheme.
A Prolog package from the University of Calgary features delayed goals
and interval arithmetic. It requires Scheme with continuations.
["Programming in Prolog", W.F. Clocksin & C.S. Mellish, Springer, 1985].
Project MAC « project management « project planning
Prolog » Prolog++ » Prolog-2 » Prolog-D-Linda