Category:LLP: Difference between revisions
Content added Content deleted
(created) |
mNo edit summary |
||
| Line 2: | Line 2: | ||
|site=http://bach.istc.kobe-u.ac.jp/llp/}} |
|site=http://bach.istc.kobe-u.ac.jp/llp/}} |
||
{{language programming paradigm|Declarative}}{{language programming paradigm|Logic_Programming}} |
{{language programming paradigm|Declarative}}{{language programming paradigm|Logic_Programming}} |
||
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. |
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. |
||
Latest revision as of 23:06, 5 February 2012
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.