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