A Novel Implementation of the Extended Andorra Model
نویسندگان
چکیده
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism. We present the BEAM, a design that builds upon David H. D. Warren’s original EAM with Implicit Control. The BEAM supports Warren’s original EAM rewrite rules plus eager splitting and sequential conjunctions. We discuss the main issues in the implementation of the BEAM and show that the EAM with Implicit Control can perform quite well when compared with other implementations that use the Andorra principle. keywords : Logic Programming, Execution Mechanisms, Language Implementation.
منابع مشابه
The BEAM: A first EAM Implementation
Logic programming provides a high-level view of programming, giving implementors a vast latitude in what techniques to research towards obtaining the best performance for logic programs. One of the holy grails of logic programming has been to design computational models that could be executed eeciently and would allow for both a reduction of the search space and for exploiting all the available...
متن کاملA design and implementation of the Extended Andorra Model
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 sp...
متن کاملThe BEAM: Towards a rst EAM Implementation
Logic programming provides a high-level view of programming, giving implementors a vast latitude in what techniques to research towards obtaining the best performance for logic programs. One of the holy grails of logic programming has been to design computational models that could be executed eeciently and would allow for both a reduction of the search space and for exploiting all the available...
متن کاملOn Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism. In this work we show that David H. D. Warren’s design for the EAM with Implicit Control does not perform well for deterministic computations and we present several optimisations that allow the BEAM to achi...
متن کاملOn the BEAM Implementation
Logic Programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism [3]. In this work we report on the design of the first sequencial implementation for the Extended Andorra Model with Implicit Control, the BEAM [2]. The emphasis is put on the low-level infrastructures that...
متن کامل