Home /
Examples
An interpreter for Lolli
An interpreter for Lolli, a linear logic refinement of lambda Prolog.
This interpreter is based on the paper ``Logic Programming in a
Fragment of Intuitionistic Linear Logic by Joshua S. Hodas and Dale
Miller (Journal of Information and Computation, 110(2):327-365, 1 May
1994, available also as Postscript).
- lollisig.mod:
This module contains simple declarations to encode the new connectives
of Lolli.
- llinterp.mod:
This interpreter for Lolli makes use of the I/O model of resource
consumption in order to lazily split resources when proving tensors or
backchaining.
- gaps.mod:
A simple example of parsing relative clauses using a linear logic
approach to gap-threading.
Home /
FAQ /
Examples