(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].
[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]
[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