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).
Home / FAQ / Examples