Prolog-III

A. Colmerauer, University of Aix-Marseille, about 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).