Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,521,873,280 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Lolli

    0.06 sec.
(language)Lolli - (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].


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in ? References in periodicals archive
No references found
 
Angry and disillusioned, she hooks up with a street couple, Lolli and Dave, who take her down into their subterranean world amid the dark, dank tunnels of the subway system where she meets Luis.
Black, Holly. Valiant; a modern tale of faerie by Winship, Michele / Kliatt
In 1477, he had written to Gregoria Lolli after Costanza's death of his intentions: "faciundum nunc curo ejus sepulchrum, breveque epitaphium jam cogitavi, quod mitto ad te .
Death and the Cardinal: The Two Bodies of Guillaume d'Estouteville [*] by GILL, MEREDITH J. / Renaissance Quarterly
T --30--ck/ny* CONTACT: NYSE, New York Jennifer Lolli Hayes: 212/656-4510 KEYWORD: NEW YORK INDUSTRY KEYWORD: ENTERTAINMENT GOVERNMENT MUSIC REMINDER SOURCE: NYSE
REMINDER/NYSE Dedicates 78th Annual Holiday Tree Lighting to NYC ... by Business Wire
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.