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

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 ]