Extension of WAM for a linear logic programming language
Naoyuki Tamura, Yukio Kaneda · 2007
This paper describes an extension of the WAM (Warren Abstract Machine) for a logic programming language called LLP which is based on intuitionisic linear logic. LLP is a subset of Lolli and includes additive and multiplicative conjunction, linear implication in a goal, exponential (!), and the constant 1. The extension of the WAM is mainly for e#cient resource management: especially for resource look-up and deletion. In our design, only one table is maintained to keep resources during the execution. Looking-up of a resource is done through a hash table. Deletion of a resource is done by just "marking" the entry in the table. Our prototype compiler produces 25 times faster code compared with a compiled Prolog program which represents resources by a list structure. 1. Introduction Linear logic developed by J.-Y. Girard [4] is expected to be applied for various fields in computer science. Linear logic is called "resource-conscious" because consumed hypotheses can not be used again. There...