Casting of the WAM as an EAM

TL;DR

This paper introduces WAM2EAM, a novel implementation that integrates the Extended Andorra Model into the Warren Abstract Machine to improve logic program execution efficiency by exploiting parallelism and reducing search space.

Contribution

It presents a preliminary specification and implementation of the WAM2EAM, combining WAM instructions with EAM-centered interpretation for enhanced performance.

Findings

WAM2EAM supplies regular WAM instructions with EAM interpretation.

The approach aims to exploit parallelism in logic programming.

Preliminary implementation demonstrates potential performance benefits.

Abstract

Logic programming provides a very high-level view of programming, which comes at the cost of some execution efficiency. Improving performance of logic programs is thus one of the holy grails of Prolog system implementations and a wide range of approaches have historically been taken towards this goal. Designing computational models that both exploit the available parallelism in a given application and that try hard to reduce the explored search space has been an ongoing line of research for many years. These goals in particular have motivated the design of several computational models, one of which is the Extended Andorra Model (EAM). In this paper, we present a preliminary specification and implementation of the EAM with Implicit Control, the WAM2EAM, which supplies regular WAM instructions with an EAM-centered interpretation.