Prolog

PROgrammation en LOGique

Alain Colmerauer and Phillipe Roussel, University of Aix-Marseille, 1971. First implemented 1972 in ALGOL-W.

Prolog was designed originally for natural-language processing. It uses LUSH (or SLD) resolution theorem proving based on the unification algorithm. There are no user-defined functions, and no control structure other than the built-in depth-first search with backtracking. Early collaboration between Marseille and R. Kowalski at the University of Edinburgh continued until about 1975.

Programming in Prolog" William F. Clocksin & C. S. Mellish, Springer-Verlag, 1985.

C-Prolog

F. Pereira et al, Jul 1982. An implementation of Prolog in C. No garbage collection. Not public domain.

SB-Prolog

Stony Brook Prolog. A public domain Prolog implementation for Unix.

LM-Prolog

Lisp Machine Prolog. K. Kahn et al, 1983.

"LM-Prolog User Manual", M. Carlsson et al, Uppsala Dec 1983.