EXPLOITING PARALLELISM IN THE EXTENDED ANDORRA MODEL

摘要

Logic programming provides a high-level view of programming that gives implementors a vast latitude in what techniques to research towards obtaining the best performance for logic programs. The Extended Andorra Model was designed towards achieving reduction of the search space whilst exploiting all the available parallelism in the application. The BEAM is a first sequential implementation for the Extended Andorra Model with Implicit Control, that has been shown to obtain good results. In this work we propose the RAINBOW, a parallel execution model for the BEAM. We present a general overview of how to distribute work, propose alternative approaches towards addressing the binding problem for the EAM, and present a scheduling strategy.