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.) "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). Version 1.2 for MS-
DOS.
Comments, Experience, Additions
Next Language: Prolog-Linda