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

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ ACM ] [ ai ] [ al ] [ ar ] [ at ] [ au ] [ B ] [ b ] [ be ] [ by ] [ C ] [ CA ] [ ca ] [ CACM ] [ cat ] [ ci ] [ CM ] [ co ] [ com ] [ con ] [ conS ] [ conStraint ] [ D ] [ de ] [ DOS ] [ du ] [ E ] [ ed ] [ er ] [ era ] [ eS ] [ fi ] [ fo ] [ for ] [ goal ] [ h ] [ il ] [ in ] [ int ] [ io ] [ it ] [ la ] [ lS ] [ lu ] [ M ] [ MarS ] [ MarSeille Prolog ] [ mm ] [ MS-DOS ] [ N ] [ nf ] [ ng ] [ ni ] [ nS ] [ O ] [ om ] [ OS ] [ pe ] [ pl ] [ pr ] [ product ] [ Prolog ] [ Prolog-II ] [ rc ] [ re ] [ reSolution ] [ ro ] [ S ] [ Se ] [ Si ] [ So ] [ Solution ] [ St ] [ T ] [ th ] [ to ] [ tr ] [ ug ] [ unification ] [ uS ] [ V ] [ ve ] [ Y ]