Prolog-III
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):6
| < Previous Terms | Terms Containing Prolog-III | Next Terms > |
| Prolog Prolog++ Prolog-2 Prolog-D-Linda Prolog-II | Prolog-III | Prolog-Linda Prolog/Mali PROM PROMAL Prometheus |
