The Free Online Dictionary of Computing (http://foldoc.doc.ic.ac.uk/) is edited by Denis Howe <dbh@doc.ic.ac.uk>.

Previous: Prolog-II Next: Prolog-Linda

Prolog-III

A. Colmerauer, U Aix-Marseille, ca 1984. Marseille Prolog, with unification replaced by constraint resolution. [deferred goals too?] (Not to be confused with Prolog 3, a commercial product?)

Version 1.2 for MS-DOS.

["Opening the Prolog-III Universe", BYTE 12(9):177-182 (Aug 1987)].

["An Introduction to Prolog III", A. Colmerauer, CACM 33(7):69-90 (1990)].