Revision as of 22:57, 5 February 2012 (view source) rosettacode>EdK (created) ← Older edit		Latest revision as of 23:06, 5 February 2012 (view source) rosettacode>EdK mNo edit summary
Line 2: \|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.

Category:LLP: Difference between revisions

Category:LLP (view source)