Prolog/Mali

Prolog/Mali

(language)(PM) Lambda-Prolog for the MALI-V06 abstractmemory 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 runsunder Unix.

ftp://ftp.irisa.fr/pm/.

Mailing list: prolog-mali-request@irisa.fr. E-mail:.