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. - 6 Parallel AND Processes. - 6. 1 Ordering of Literals. - 6. 2 Forward Execution. - 6. 3 Backward Execution. - 6. 4 Detailed Example. - 6. 5 Discussion. - 6. 6 Chapter Summary. - 7 Implementation. - 7. 1 Overview of the Interpreter. - 7. 2 Parallel AND Processes. - 7. 3 Process Allocation. - 7. 4 Growth Control. - 7. 5 Summary. Language: English