Computing (FOLDOC) dictionary
Jump to user comments
language (Named after the "lollipop" operator "-o") An
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.
[Josh Hodas et al, "Logic Programming in a Fragment of
Intuitionistic Linear Logic", Information and Computation, to
appear].
(1992-11-18)