TY - CONF
AU - Harland, James
AU - Pym, David
AU - Winikoff, Michael
ED - Wirsing, Martin
ED - Nivat, Maurice
PY - 1996
DA - 1996//
TI - Programming in Lygon: An overview
BT - Algebraic Methodology and Software Technology
SP - 391
EP - 405
PB - Springer Berlin Heidelberg
CY - Berlin, Heidelberg
AB - For many given systems of logic, it is possible to identify, via systematic proof-theoretic analyses, a fragment which can be used as a basis for a logic programming language. Such analyses have been applied to linear logic, a logic of resource-consumption, leading to the definition of the linear logic programming language Lygon. It appears that (the basis of) Lygon can be considered to be the largest possible first-order linear logic programming language derivable in this way. In this paper, we describe the design and application of Lygon. We give examples which illustrate the advantages of resource-oriented logic programming languages.
SN - 978-3-540-68595-1
ID - 10.1007/BFb0014329
ER -