[Prev][Next][Index][Thread]
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:
http://bach.seg.kobe-u.ac.jp/llprover/
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:
http://bach.seg.kobe-u.ac.jp/llp/
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