You are here: irt.org | FOLDOC | Prolog%2fMali
<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.
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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL