A parallel execution model for Prolog

Book · Thu Jan 01 00:00:00 EST 1987

OSTI ID:6905723

Fagin, B

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

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ARRAY PROCESSORS
COMPUTER ARCHITECTURE
PROLOG
COMPUTERIZED SIMULATION
PARALLEL PROCESSING
PERFORMANCE
PROGRAMMING
PROGRAMMING LANGUAGES
SIMULATION
990210* - Supercomputers- (1987-1989)