Word:

Lolli

(language)Lolli - (Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic, written by Josh Hodas .

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].
Browse
Loke
Loki
Lokorys
LOL
Lola Montez
Loligo
Lolita
Lolium
Lolium multiflorum
Lolium perenne
Lolium temulentum
Loll
loll around
Lollard
Lollardism
Loller
-- Lolli --
lolling
Lollingly
Lollipop
lollipop lady
lollipop woman
Lollop
lolly
lollygag
Lolo
Lolo-Burmese
Loloish
LOM
loma
Lomariopsidaceae
lomatia
lomatinous
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home