|
|
|
|
|
|
|
|
LambdaProlog/MALIAppeared in Volume 7/1, February 1994
You can obtain the lambdaProlog/MALI compiler from:
ftp://ftp.irisa.fr/local/pm
There is a compiler and a linker, standard libraries (I/O, arithmetic, DCG, etc), examples of lambda-Prolog programs, and a reference manual. Executable files are only for sun4 workstations for the moment. An interactive X debugger is also available.
For more information, contact:
Olivier Ridoux, Serge Le Huitouze, Pascal Brisset. IRISA, Campus Universitaire de Beaulieu 35042 Rennes Cedex, France Telex: Unirisa 950 473 F Fax: +33 99 38 3832 Tel: +33 99 84 7100 Email: pm@irisa.fr
|
|
|
|
|
|
|
|