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>.
(1992-07-06)
Nearby terms:
Prolog-II « Prolog-III « Prolog-Linda «
Prolog/Mali » PROM » PROMAL » Prometheus
|