noun Technical meaning of lolli (language) (Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic, written by Josh Hodas <[email protected]>. 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. 1
