{{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.