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

E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=31">2 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=220">ACM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=411">ai ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=935">au ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1025">B ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1181">bE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1695">by ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1708">C ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1723">CA ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1724">ca ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1738">CACM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1863">cat ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2099">ci ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2220">CM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2330">com ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2545">con ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2606">cons ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2619">constraint ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2976">D ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3623">DOS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3834">E ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4150">Era ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4700">fo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4727">for ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5237">goal ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6194">int ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6918">la ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7399">ls ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7457">M ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7626">Mars ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7627">MarsEillE Prolog ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8019">mm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8234">MS-DOS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8384">N ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8622">nf ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8630">ni ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8820">O ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8964">om ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9132">OS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9457">pE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9651">pl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10012">product ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10063">Prolog ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10067">Prolog-II ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10578">rEsolution ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10918">S ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11376">si ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11651">so ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11725">solution ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12359">T ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12721">to ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12787">tr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13008">ug ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13058">unification ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13175">us ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13229">V ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13310">vE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=14024">Y ]