next up previous
Next: CONCLUSION Up: A COMPILER SYSTEM Previous: N-Queens

LLP COMPILER SYSTEM

LLP is a first compiler system for linear logic programming languages. LLP compiles LLP programs into an abstract machine code, which is interpreted by the abstract machine emulator. The abstract machine, called LLPAM, is an extension of the WAM (Warren Abstract Machine [9]). Two new data areas, three new registers, and thirteen new instructions are added to the WAM. Please refer to our previous paper [8] for the details.

The compiler is written in Prolog (we are using SICStus Prolog version 2.1 and BinProlog 5.00). The LLPAM emulator is written in ANSI C (we are using GNU C compiler version 2.7.0).

The newest package (version 0.41) including all source code can be obtained from the following Web page.

http://bach.seg.kobe-u.ac.jp/llp/
The system is still under development, and has some limitations. All of them are planned to be solved in a future release.

Naoyuki Tamura
Thu May 8 20:39:01 JST 1997