tool: Lolli

---

Language:	Lolli (logic programming)
Version:	?
Parts:	?
Author:	? Josh Hodas <hodas@saul.cis.upenn.edu> ?
Location:	ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-07.tar.Z.
Description:	Lolli is an interpreter for logic programming based on linear logic principles. Lolli can be viewed as a refinement of the the Hereditary Harrop formulas of Lambda-Prolog. All the operators (though not the higher order unification) of Lambda-Prolog are supported, but with the addition of linear variations. Thus a Lolli program distinguishes between clauses which can be used as many, or as few, times as desired, and those that must be used exactly once.
Requires:	ML
Updated:	November 8th, 1992

category: logic programming languages summary, or expanded.