Casting of the WAM as an EAM

Details Casting of the WAM as an EAM Casting of the WAM as an EAM

2010-09-20

arxiv.org/abs/1009.3806v1

Computer Science

Programming Languages

Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Casting of the WAM as an EAM does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Casting of the WAM as an EAM, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Casting of the WAM as an EAM will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-264781