| Prolog-III | computing dictionary |
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)].
(03 Feb 2009)
Prolog++, Prolog-2, Prolog-D-Linda, Prolog-II < Prev | Next > Prolog-Linda, Prolog/Mali
Bookmark with: ![]() | word visualiser | Go and visit our forums ![]() |

dictionary help





