Parallel execution of logic programs

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

OSTI ID:6487839

Conery, J S

This work is about the AND/OR Process Model, an abstract model for parallel execution of logic programs. This book defines a framework for implementing parallel interpreters. The research presented here provides an intermediate level of abstraction between hardware and semantics, a set of requirements for a parallel interpreter running on a multiprocessor architecture. Contents. LIST OF FIGURES. 1. INTRODUCTION. 2. LOGIC PROGRAMMING. 2.1 Syntax. 2.2 Semantics. 2.3 Control. 2.4 Prolog. 2.5 Alternate Control Strategies. 2.6 Chapter Summary. 3. PARALLELISM IN LOGIC PROGRAMS. 3.1 Models for OR Parallelism. 3.2 Models for AND Parallelism. 3.3 Low Level Parallelism 3.4 Chapter Summary. 4. THE AND/OR PROCESS MODEL. 4.1 Oracle. 4.2 Messages. 4.3 OR Processes. 4.4 AND Processes. 4.5 Interpreter. 4.6 Programming Language. 4.7 Chapter Summary. 5. PARALLEL OR PROCESSES. 5.1 Operating Modes. 5.2 Execution. 5.3 Example. 5.4 Chapter Summary.

• OSTI ID: 6487839
• Country of Publication: United States
• Language: English

Related Subjects

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