Research in Logic Programming
Implementation Schemes for Extended Andorra Model and Subsets
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.
Logic Prog. Page Research Page Lab Home Page