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