Lolli

Lolli

(language)
(Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic, written by Josh Hodas <hodas@saul.cis.upenn.edu>.

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].
References in periodicals archive ?
My children, Rosie and five-yearold Poppy, are in heaven the second they walk into the big white lobby and are greeted by Lolli and Bernie (a giant giraffe and bear), who pop up at the pool for cuddles and high-fives, and even host daily 20-minute pool parties for enthusiastic tots and tweens.
My children, Rosie and five-year-old Poppy, are in heaven the second they walk into the big white lobby and are greeted by Lolli and Bernie (a giant giraffe and bear), who pop up at the pool for cuddles and high-fives, and even host daily 20-minute pool parties for enthusiastic tots and tweens.
RAPID REALTY founder Anthony Lolli is facing a class action lawsuit from former and current franchisees.
Lolli & Pops, a retailer of gourmet candies, uses computer vision and AI to provide the next generation of personalized customer experience.
Sugar Coast by Lolli ACI International footwear (U.
Whipped with avocado oil and vanilla, with a vanilla scent, The Double Matte Whip comes in five different shades: Whoopie Pie (dark plum); Shortcake (deep cherry red); Lolli (mid-tone berry pink); Cookie (deep tan nude); and Angel Food (peachy nude).
Meglio, piuttosto, concentrarsi sulla canzone in se, e aprire nuove possibilita d'ascolto alla canzone d'autore anche per chi, ed e senza vergogna che mi includo in questa categoria, e cresciuto tra un concerto di Francesco Guccini e un disco di Claudio Lolli e ancora rimastica quotidianamente le canzoni di quando aveva diciotto anni.
Thus, it is clear that presence of leaves was fundamental to stimulate growth of roots, as already observed in Lippia alba by LOLLI (2001).
Specialty soda brands are also a big focus at San Francisco-based confectionery chain Lolli and Pops, where they get 8 feet of space in their own cooler.
The best supporting actress award was given to Lolli Mara ('Ang Bagong Pamilya ni Ponching') and Elizabeth Oropesa ('I America').
com is now carrying the Lolli Living brand of children's bedding, manufactured by Living Textiles of Sydney, Australia.
Maggi R, Quartieri F, Donateo P, Bottoni N, Solano A, Lolli G, Tomasi C, Croci F, Oddone D, Puggioni E, Menozzi C, Brignole M.