Parallel execution model of logic programs
Book
·
OSTI ID:5291055
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 of 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. The authors 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. 12 references.
- OSTI ID:
- 5291055
- Country of Publication:
- United States
- Language:
- English
Similar Records
Parallel execution of logic programs
Parallel logic programming in PARLOG: The language and its implementation
Consistent first solution speedups in OR-parallel execution of logic programs
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6487839
Parallel logic programming in PARLOG: The language and its implementation
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:5768072
Consistent first solution speedups in OR-parallel execution of logic programs
Book
·
Sun Dec 31 23:00:00 EST 1989
·
OSTI ID:5693102