Lolli Implementation

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 home pages.

• Josh Hodas
• Dale Miller
• Iliano Cervesato
• Frank Pfenning