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
·
Thu Jan 01 00:00:00 EST 1987
·
OSTI ID:6905723
Concepts, design, and performance analysis of a parallel Prolog machine
Book
·
Sun Jan 01 00:00:00 EST 1989
·
OSTI ID:6905723
An architectural model for a flat concurrent prolog processor
Book
·
Thu Jan 01 00:00:00 EST 1987
·
OSTI ID:6905723