{{stub}}
{{language|Lolli
|site=http://www.lix.polytechnique.fr/~dale/lolli/
}}
Lolli is a logic programming language based on a fragment of linear logic.
<br />
'''See also'''
<br />
[http://www.cs.cmu.edu/~fp/lolli/ Lolli Implementation]
by Frank Pfenning