This is preliminary home page for an implementation of Lolli, a logic
programming language based on intuitionistic linear logic designed
by Joshua Hodas and Dale Miller. The implementation technique
is described in the paper below.
Iliano Cervesato, Joshua S. Hodas, and Frank Pfenning.
Efficient resource management for linear logic proof search.
In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proceedings of the 5th International Workshop on Extensions of Logic
Programming, pages 67-81, Leipzig, Germany, March 1996. Springer-Verlag
LNAI 1050. Extended and revised version to appear in Theoretical
Computer Science, available in PostScript format.
- Lolli implementation in Standard ML,
tested in SML of New Jersey, version 110.0.7. An
older version for Prolog and some example programs are also included in this
gzipped tar file.
- Lolli implementation in Standard
ML, tested in SML of New Jersey, version 110.59
For related papers and other information, please see the author's