Category:LLP

From Rosetta Code
Revision as of 23:06, 5 February 2012 by rosettacode>EdK
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
LLP
This programming language may be used to instruct a computer to perform a task.
Official website
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using LLP.

LLP is a logic programming language based on intuitionistic linear logic. LLP is a superset of Prolog and a subset of Lolli developed by Josh Hodas and Dale Miller.

This category currently contains no pages or media.