prolog-iii

from The Free On-line Dictionary of Computing (8 July 2008)

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)].