(Named after the "lollipop" operator "-o") An interpreter for logic programming baSed on linear logic, written by JoSh HodaSS@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. . [JoSh HodaS et al, "Logic Programming in a Fragment of IntuitioniStic Linear Logic", Information and Computation, to appear]. (1992-11-18)