| slovo | definícia |
lolli
(foldoc) | 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].
(1992-11-18)
|
| | podobné slovo | definícia |
lollipop
(mass) | lollipop
- lizatko |
lolling
(encz) | lolling,povalující se Zdeněk Brož |
lollipop
(encz) | lollipop,lízátko n: Zdeněk Brož |
lollipop lady
(encz) | lollipop lady, n: |
lollipop woman
(encz) | lollipop woman, n: |
Lolling
(gcide) | Loll \Loll\ (l[o^]l), v. i. [imp. & p. p. Lolled (l[o^]ld); p.
pr. & vb. n. Lolling.] [Cf. Icel. lolla to act lazily,
loll, lolla, laziness, OD. lollen to sit over the fire, and
E. lull. Cf. Lill, Lull.]
1. To act lazily or indolently; to recline; to lean; to throw
one's self down; to lie at ease; as, to loll around the
house on a lazy summer day.
[1913 Webster +PJC]
Void of care, he lolls supine in state. --Dryden.
[1913 Webster]
2. To hand extended from the mouth, as the tongue of an ox or
a log when heated with labor or exertion.
[1913 Webster]
The triple porter of the Stygian seat,
With lolling tongue, lay fawning at thy feet.
--Dryden.
[1913 Webster]
3. To let the tongue hang from the mouth, as an ox, dog, or
other animal, when heated by labor; as, the ox stood
lolling in the furrow.
[1913 Webster] |
Lollingly
(gcide) | Lollingly \Loll"ing*ly\, adv.
In a lolling manner. --Buckle.
[1913 Webster] |
Lollipop
(gcide) | Lollipop \Lol"li*pop\, n. [Perhaps fr. Prov. E. loll to soothe +
pope a mixed liquor.]
1. A kind of sugar confection which dissolves easily in the
mouth. [Archaic] --Thackeray.
[1913 Webster]
2. Hence: A piece of hard candy, often of discoid shape,
attached to the end of a handle of wood or hard paper by
which it is held in the hand while being licked; -- it is
popular with small children.
[PJC] |
lollipop
(wn) | lollipop
n 1: ice cream or water ice on a small wooden stick; "in England
a popsicle is called an ice lolly" [syn: ice lolly,
lolly, lollipop, popsicle]
2: hard candy on a stick [syn: lollipop, sucker, {all-day
sucker}] |
lollipop lady
(wn) | lollipop lady
n 1: a woman hired to help children cross a road safely near a
school [syn: lollipop lady, lollipop woman] |
lollipop woman
(wn) | lollipop woman
n 1: a woman hired to help children cross a road safely near a
school [syn: lollipop lady, lollipop woman] |
|