By Letter: Non-alphabet | 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
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions