Category:LLP: Difference between revisions

From Rosetta Code
Content added Content deleted
(Created page with "{{stub}}{{language}}")
 
(created)
Line 1: Line 1:
{{stub}}{{language}}
{{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.

Revision as of 22:57, 5 February 2012

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.

Retrieved from "https://rosettacode.org/wiki/Category:LLP?oldid=212025"