Research in Logic Programming

Implementation Schemes for Extended Andorra Model and Subsets

Gopal Gupta, Enrico Pontelli

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