Title :
The competition model-a comparison
Author_Institution :
Dept. of Comput. Sci., New South Wales Univ., Kensington, NSW, Australia
Abstract :
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
Keywords :
logic programming; parallel algorithms; AND/OR process model; backward execution algorithm; competition model; formal algorithm; forward execution algorithm; logic programs; parallel algorithms; parallel execution model; Computer science; Concurrent computing; Gold; Logic programming; Parallel processing;
Conference_Titel :
Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on
Print_ISBN :
0-87942-556-3
DOI :
10.1109/TENCON.1990.152586
