Nguage> (Named after the "lollipop" operator "-o") ANiNterpreter for logic programmiNg based oNliNear logic, writteN by Josh Hodas NN.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 iNSML/NJ. . [Josh Hodas et al, "Logic ProgrammiNg iN a FragmeNt of INtuitioNistic LiNear Logic", INformatioN aNd ComputatioN, to appear]. (1992-11-18)