You are here: irt.org | FOLDOC | 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):69-90 (1990)].
Nearby terms: Prolog-2 « Prolog-D-Linda « Prolog-II « Prolog-III » Prolog-Linda » Prolog/Mali » PROM
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL