lolli
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of lolli word
- 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
Information block about the term
Parts of speech for Lolli
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?