Online Computer Terms Dictionary - P

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.