The competition model-a comparison
K.W. Ng · 2002
The competition model is a parallel execution model for logic programs developed in the same framework as the AND/OR process model supporting both AND- and OR-parallelism. It allows a high degree of parallelism, avoids the reconstruction of the data dependency graph, and causes fewer literals to be reset. The competition model is presented and then compared with other AND/OR process models. The competition model consists of two algorithms: the forward execution algorithm and the backward execution algorithm. In the presentation of each algorithm, an informal description is given before the formal algorithm.>