Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Prolog-III

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

©2018 Martin Webb