Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Prolog/Mali

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.

(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

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

©2018 Martin Webb