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]>.

Last updated: 1992-07-06

Nearby terms:

Prolog-IIProlog-IIIProlog-LindaProlog/MaliPROMPROMALPrometheus

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading