A parallel execution model for Prolog
Book
·
OSTI ID:6905723
In this thesis a new parallel execution model for Prolog is presented: The PPP model or Parallel Prolog Processor. The PPP supports AND-parallelism, OR- parallelism, and intelligent backtracking. An implementation of the PPP is described, through the extension of an existing Prolog abstract machine architecture. Several examples of PPP execution are presented and compilation to the PPP abstract instructions set is discussed. The performance effects of this model are reported, based on a simulation of a large benchmark set. The implications of these results for parallel Prolog systems are discussed, and directions for future work are indicated.
- OSTI ID:
- 6905723
- Country of Publication:
- United States
- Language:
- English
Similar Records
Parallel execution model for Prolog
Concepts, design, and performance analysis of a parallel Prolog machine
An architectural model for a flat concurrent prolog processor
Thesis/Dissertation
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:5575569
Concepts, design, and performance analysis of a parallel Prolog machine
Book
·
Sat Dec 31 23:00:00 EST 1988
·
OSTI ID:6472780
An architectural model for a flat concurrent prolog processor
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6933002