4 lines
No EOL
335 B
Text
4 lines
No EOL
335 B
Text
{{stub}}{{language|LLP
|
|
|site=http://bach.istc.kobe-u.ac.jp/llp/}}
|
|
{{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. |