Lolli

0.01 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].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			In addition, the company, founded in 1998 by CEO Anthony Lolli, is working on franchising, Angelucci said, noting that some of the new locations may become franchisees. Rapid Realty picks up speed by Taylor, Candace / The Real Deal It was imperative for us to partner with a hotel operator who clearly understood our vision of creating a distinctive luxury product," said Lolli. Dubai's Essque to manage Zanzibar resort by TradeArabia (Manama, Bahrain) The Hoodia craze was started by South American bush people who sucked on Hoodia to curb hunger, and this company claims that they have the only Hoodia product that can be sucked on through a lolli pop. A Review of the Power Pops Income Opportunity by Brian Garvin / Business community			Lokbatan Lokchim Lokhtin, Vladimir Lokhtin, Vladimir Mikhailovich Lokhvitsa Loki Loknia Lokoja Lokomotiv Lokot Loksa loktal base Loktev, Konstantin Loktev, Konstantin Borisovich Loktionov, Aleksandr Loktionov, Aleksandr Dmitrievich LOL Løland, Rasmus Loleit, Artur Loleit, Artur Ferdinandovich Lolita Lolium Lolland Lollardry Lollards Lolli löllingite lolly column lolly ice Lolo National Forest Loloma, Charles Lom Loma Lomakin, Gavriil Lomakin, Gavriil Iakimovich Lomako, Petr Lomako, Petr Fadeevich Lomami Loman, Willy Lomax Lomax, Alan Lomax, John Lomax, John A. Lomax, John Avery Lombard Lombard Alps Lombard architecture Lombard effect Lombard Laws Lombard League Lombard Plain			Lollapalloza lollapalooza Lollapalooza 2004 lineup Lollapalooza 2007 lollapaloozas Lollapolooza Lollapoolooza Lollard Lollard Lollardism Lollardry Lollards Lollards Lollardy Lollardy LOLLC lolled lolled loller loller Lollerpede Lollerpede Lollerpoodles Lollerpoodles Lollers Lollers Lollersk8s Lollersk8s Lollerskates Lollerskates Lolli lollies lollies lolling lolling lolling tongue lolling tongue lolling tongue Lollingite Lollingite Löllingite lollingly lollingly lollipop Lollipop Appearance Lollipop Follicle lollipop ladies lollipop lady lollipop lady lollipop lady lollipop lady Lollipop Lust Kill Lollipop man lollipop men lollipop tree appearance lollipop woman lollipop women Lollipops Lollo rosso Lollo rosso lollop

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
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.