Lolli




<language> (Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic, written by Josh Hodas <[email protected]>.

Lolli can be viewed as a refinement of 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.

Lolli is implemented in SML/NJ.

(ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-0.7.tar.Z).

[Josh Hodas et al, "Logic Programming in a Fragment of Intuitionistic Linear Logic", Information and Computation, to appear].



< Previous Terms Terms Containing Lolli Next Terms >
LOGOL
logon
Lojban
LOL
LOLITA
Lolli
LOM
longitudinal parity
Longitudinal Redundancy Check
LOOK
Look Ahead Left-to-right parse, Rightmost-derivati