(Named after the “lollipop” operator “-o”) An interpreter for logic programming based on linear logic, written by Josh Hodas .
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.
[Josh Hodas et al, “Logic Programming in a Fragment of Intuitionistic Linear Logic”, Information and Computation, to appear].


Read Also:

  • Lolled

    [lol] /lɒl/ verb (used without object) 1. to recline or lean in a relaxed, lazy, or indolent manner; lounge: to loll on a sofa. 2. to hang loosely; droop; dangle: The dog stood in the heat with his tongue lolling out of his mouth. verb (used with object) 3. to allow to hang, droop, or […]

  • Loll around

    verb phrase To dispose or comport oneself idly; goof off, lollygag, lounge around: We were lolling around at the pool when the thing fell [1940s+; loll, ”lean idly,” is found by 1377]

  • Lollard

    [lol-erd] /ˈlɒl ərd/ noun 1. an English or Scottish follower of the religious teachings of John Wycliffe from the 14th to the 16th centuries. /ˈlɒləd/ noun 1. (English history) a follower of John Wycliffe during the 14th, 15th, and 16th centuries name for certain heretics, late 14c. (in Chaucer, Loller, c.1386), from Middle Dutch lollaerd, […]

  • Longcase clock

    [lawng-keys, long-] /ˈlɔŋˌkeɪs, ˈlɒŋ-/ noun 1. . /ˈlɒŋˌkeɪs/ noun 1. another name for grandfather clock

Disclaimer: Lolli definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.