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)].Nearby terms:
Prolog-D-Linda ♦ Prolog-II ♦ Prolog-III ♦ Prolog-Linda ♦ Prolog/Mali
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
