Category:LLP
![Language](http://static.miraheze.org/rosettacodewiki/thumb/2/27/Rcode-button-language-crushed.png/64px-Rcode-button-language-crushed.png)
This programming language may be used to instruct a computer to perform a task.
Official website |
---|
See Also: |
|
---|
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.