Try Our Apps


Petrichor: The smell after rainfall


lolli in Technology
(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].
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Examples from the Web for lolli
Historical Examples
  • For what had he really cared about the baroness's relationship to lolli?

    The Benefactress Elizabeth Beauchamp
  • But I feel sure it is true, for this Elmreich and the little lolli are as alike as two peas.

    The Benefactress Elizabeth Beauchamp
  • lolli then went to Copenhagen, and in the year 1804 played at concerts in Vienna.

    The Violoncello and Its History Wilhelm Joseph von Wasielewski
  • It used to be asserted of him that he joined the emphatical expression of Benda with the brilliancy of lolli.

    The Violin George Dubourg

Word of the Day

Word Value for lolli

Scrabble Words With Friends

Nearby words for lolli