A Design and Implementation of the Extended Andorra Model

Details A Design and Implementation of the Extended Andorra Model A Design and Implementation of the Extended Andorra Model

2011-01-31

arxiv.org/abs/1101.6029v2

Computer Science

Programming Languages

43 pages, To appear in Theory and Practice of Logic Programming (TPLP)

Scientific paper

10.1017/S1471068411000068

Logic programming provides a high-level view of programming, giving implementers a vast latitude into what techniques to explore to achieve the best performance for logic programs. Towards obtaining maximum performance, one of the holy grails of logic programming has been to design computational models that could be executed efficiently and that would allow both for a reduction of the search space and for exploiting all the available parallelism in the application. These goals have motivated the design of the Extended Andorra Model, a model where goals that do not constrain non-deterministic goals can execute first. In this work we present and evaluate the Basic design for Extended Andorra Model (BEAM), a system that builds upon David H. D. Warren's original EAM with Implicit Control. We provide a complete description and implementation of the BEAM System as a set of rewrite and control rules. We present the major data structures and execution algorithms that are required for efficient execution, and evaluate system performance. A detailed performance study of our system is included. Our results show that the system achieves acceptable base performance, and that a number of applications benefit from the advanced search inherent to the EAM.

Affiliated with

Also associated with

No associations

Rating

A Design and Implementation of the Extended Andorra Model 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 A Design and Implementation of the Extended Andorra Model, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Design and Implementation of the Extended Andorra Model will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-648670