Category:Lolli: Difference between revisions
Added Frank Pfenning link
(created) |
(Added Frank Pfenning link) |
||
Line 1:
{{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
| |||