Research in Logic Programming


Implementation Schemes for Extended Andorra Model and Subsets


Author(s)
Gopal Gupta, Enrico Pontelli

Description
The ACE model (as well as certain other proposed models) exploit only a subset of the forms of parallelism present in Prolog. The Extended Andorra Model (EAM) attempts to exploit all possible forms of parallelism present in Prolog. As a result the EAM is highly complex. Research is being conducted to measure the benefits of the EAM and to realize its efficient implementation. To date a reportoire of simple implementation techniques and optimizations have been developed that will, in the long run, lead to an efficient implementation of the EAM.


Related Papers





Logic Prog. Page Research Page Lab Home Page