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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
This year has seen directors unfolding banners on the red carpet, with 'Litigante' director Franco Lolli protesting the assassination of Colombian filmmaker Mauricio Lezama.
The performers were LA favorite Ibo Brewer, Tonight Show veteran Jamie Alcroft, and rising stars Brandon Brocato, Steve Lolli, Recoe Walker, Shannon Mclendon and Andrew Donnelly.
Better feed conversion in the cage system compared to the alternative rearing systems reported in their researches and Sencic and Butko (2006) and Lolli et al.
Stream Online Arizona Arizona (Film) Genre: Comedy, Thriller Cast: Danny McBride, Rosemarie DeWitt, Lolli Sorenson Set in the midst of the 2009 housing crisis, this darkly comedic story follows Cassie Fowler, a single mom and struggling realtor whose life goes off the rails when she witnesses a murder.
(17.) Penolazzi L, Lolli A, Sardelli L, Angelozzi M, Lambertini E, Trombelli L, et al.
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, S., and Coauthors, 2017: Daytime top-of-the-atmosphere cirrus cloud radiative forcing properties at Singapore.