Prolog/Mali
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: prolog-mali-request@irisa.fr. E-mail: <pm@irisa.fr>.
ftp://ftp.irisa.fr/pm/.
Mailing list: prolog-mali-request@irisa.fr. E-mail: <pm@irisa.fr>.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)