15-816 Linear Logic

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.

A compiler for a subset of Lolli called LLP has been developed at Kobe University in Japan.

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

Frank Pfenning