Sciweavers

ICLP
1998
Springer

Compiling Resources in a Linear Logic Programming Language

13 years 7 months ago
Compiling Resources in a Linear Logic Programming Language
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use of linear implications of affine logic (a variant of linear logic) [12, 13]. In these languages, it is possible to create and consume resources dynamically as logical formulas. The efficient handling of resource formulas is therefore an important issue in the implementation of these languages. N. Tamura and Y. Kaneda proposed an abstract machine called LLPAM which is an extension of the standard WAM [14, 1] for a linear logic programming language called LLP. LLP is a superset of Prolog and a subset of Lolli. However, in the original LLPAM design, a resource formula was stored as a term in a heap memory and was not compiled into LLPAM code. In this paper, we describe an extension of LLPAM for compiling resource formulas. In our extension, resources are compiled into closures which consist of compiled code and ...
Mutsunori Banbara, Naoyuki Tamura
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ICLP
Authors Mutsunori Banbara, Naoyuki Tamura
Comments (0)