Category:Lolli: Difference between revisions
Content added Content deleted
(created) |
(Added Frank Pfenning link) |
||
| Line 1: | Line 1: | ||
{{stub}} |
{{stub}} |
||
{{language|Lolli |
|||
|site=http://www.lix.polytechnique.fr/~dale/lolli/ |
|site=http://www.lix.polytechnique.fr/~dale/lolli/ |
||
}} |
|||
Lolli is a logic programming language based on a fragment of linear logic. |
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 |
|||
Latest revision as of 13:29, 29 May 2021
This programming language may be used to instruct a computer to perform a task.
| Official website |
|---|
| See Also: |
|
|---|
Lolli is a logic programming language based on a fragment of linear logic.
See also
Lolli Implementation
by Frank Pfenning
This category currently contains no pages or media.