An abstract machine based system for a lazy narrowing calculus

Abstract

CLNC is a lazy narrowing calculus for goal solving in the context of CRWL, a rewriting logic for functional logic programming that deals with non-deterministic functions. The JUMP-machine is an abstract machine model for the efficient implementation of functional logic languages. In this paper, we propose the integration of these two abstract models into an experimental system, for which extensibility and modifiability are major concerns. This leads us to the selection of an object-oriented approach and the use of design patterns for the system design and implementation.