Prolog/Mali

<language> (PM) Lambda-Prolog for the MALI-V06 abstract memory system, developed by Pascal Brisset at IRISA, France. There is a compiler which compiles to C, a linker, libraries, run-time system, and documentation.

It runs under Unix.

(ftp://ftp.irisa.fr/pm/).

Mailing list: [email protected].

E-mail: <[email protected]>.

< Previous Terms	Terms Containing Prolog/Mali	Next Terms >
Prolog-2 Prolog-D-Linda Prolog-II Prolog-III Prolog-Linda	Lambda Prolog	PROM PROMAL Prometheus promiscuous mode PROM monitor