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...Show MoreMetadata
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.<>
Published in: IEEE TENCON'90: 1990 IEEE Region 10 Conference on Computer and Communication Systems. Conference Proceedings
Date of Conference: 24-27 September 1990
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-87942-556-3
