Linear logic sequent prover & linear logic programming language

I would like to annouce two Web pages related to linear logic.

The first one is a linear logic sequent prover.  This CGI program
searches a cut-free proof of the given two-sided sequent of linear
logic.  Its functionality is limited, but maybe useful for the people
studying linear logic.  The URL is:


The second one is a compiler system of a linear logic programming
language.  The language is a subset of Lolli designed by J. Hodas and
D. Miller.  The URL is:


Any comments and suggestions are welcome!

Naoyuki Tamura (tamura@kobe-u.ac.jp)
Department of Computer and Systems Engineering
Faculty of Engineering, Kobe University, Rokkodai, Nada, Kobe 657 JAPAN
http://bach.seg.kobe-u.ac.jp/tamura.html	LLP+LINEAR+LOGIC=PROLOG