15-816 Linear Logic
The linear logic programming language Lolli implements linear
hereditary Harrop formulas as introduced in Lecture 13 with some minor
differences in syntax. It also contains some additional features
borrowed from Prolog. The implementation below is an interpreter
for Lolli written in Standard ML.
- Download lolli0.94.tar.gz
- This contains
- This version by Joshua Hodas, extended by Iliano Cervesato, ported by Carsten Schürmann
A compiler for a subset of Lolli called LLP has been developed at
Kobe University in Japan.