Efficient Implementation of a Linear Logic Programming Language

A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on the copying and scanning of large data structures to ensure that linearity conditions have been met, and thus have been most suited to the creation of interpreters written in high-level languages. In this paper we present a new formulation of the logic of the language Lolli that is conducive to the creation of both more efficient interpreters, as well as compilers based on extensions of the standard WAM model. We present such an extension which implements a useful fragment of Lolli. Resource conscious algorithms executed using this system show significant performance advantages relative to their traditional Prolog implementations.

• Type: Conference
• Year: 1998
• Where: ICLP
• Authors: Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang
• Keywords: Automated Reasoning, ICLP 1998, Language Lolli, Linear Logic, Logic Programming Languages