Parallel execution model for Prolog
Thesis/Dissertation
·
OSTI ID:5575569
One candidate language for parallel symbolic computing is Prolog. Numerous ways for executing Prolog in parallel have been proposed, but current efforts suffer from several deficiencies. Many cannot support fundamental types of concurrency in Prolog. Other models are of purely theoretical interest, ignoring implementation costs. Detailed simulation studies of execution models are scare; at present little is known about the costs and benefits of executing Prolog in parallel. 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 instruction 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.
- Research Organization:
- California Univ., Berkeley, CA (USA)
- OSTI ID:
- 5575569
- Country of Publication:
- United States
- Language:
- English
Similar Records
A parallel execution model for Prolog
High performance execution of Prolog programs based on a Static Data Dependency Analysis
The performance of parallel Prolog programs
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6905723
High performance execution of Prolog programs based on a Static Data Dependency Analysis
Thesis/Dissertation
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:7011409
The performance of parallel Prolog programs
Journal Article
·
Fri Nov 30 23:00:00 EST 1990
· IEEE Transactions on Computers (Institute of Electrical and Electronics Engineers); (USA)
·
OSTI ID:5693239