A parallel execution model of logic programs
- 13 June 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGARCH Computer Architecture News
- Vol. 11 (3), 349-355
- https://doi.org/10.1145/1067651.801673
Abstract
A logic programming language offers several kinds of parallelism for its execution. Among these, this paper concentrates on OR-parallelism which is an alternative to the backtracking mechanism of a serial interpreter, and proposes an abstract model for OR-parallel interpretation. It consists of tokens and five kinds of function units mutually connected as a process graph. The overall processing is done by the flows of tokens among these units. We also present a mechanism for token labeling, which makes this process graph reentrant. A simulation result is given to show how efficiently the model works in terms of parallelism.Keywords
This publication has 2 references indexed in Scilit:
- Parallel interpretation of logic programsPublished by Association for Computing Machinery (ACM) ,1981
- Prolog - the language and its implementation compared with LispPublished by Association for Computing Machinery (ACM) ,1977