Main
Workshops/Tracks
Call for Papers
Proceedings
Conference Schedule
Accepted Papers
Contacts
Program Committee
Invited Presentations and Tutorials
Travel Information
Accomodation
Registration
Sponsors
EPIA'03 - 11th Portuguese Conference on Artificial Intelligence

CLPS -- Workshop on Constraint and Logic Programming Systems

 Session: December 7, 11:30-12:15, Room B
Title: On the BEAM Implementation
Ricardo Lopes, Vitor Santos Costa, Fernando Silva
Abstract: 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 report on the design of the first sequencial implementation for the Extended Andorra Model with Implicit Control, the BEAM. The emphasis is put on the low-level infrastructures that supports the implementation, that is the memory organisation and objects representation. A novel scheme for classifying variables in an EAM environment is described and the rules for the unification of variables is presented. Finally, we present some results that show that BEAM performs quite well when compared with other systems. This finding was very encouraging considering the extra complexity of the Extended Andorra Model.
Back to schedule.