15-816 Linear Logic
Software

Linear Logic Programming with Lolli

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
• Source (requires SML of NJ version 110 or higher)
• README
• Language description
• Examples
• Related papers
• 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.

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning