Multiprocessor Execution of Logic Programs

✍ Scribed by Gopal Gupta (auth.)

• Publisher: Springer US
• Year: 1994
• Tongue: English
• Leaves: 250
• Edition: 1
• Category: Library

✦ Synopsis

Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or-parallelism, independentand-parallelism and dependent and-parallelism. Coverage includes athorough survey of parallel implementation techniques and parallelsystems developed for Prolog.
Multiprocessor Execution of Logic Programs is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.

✦ Table of Contents

Front Matter....Pages i-xviii
Introduction: Logic Programming and Parallel Processing....Pages 1-10
Front Matter....Pages 11-11
Parallel Execution Models for Logic Programs....Pages 13-41
Analysis of Or-parallel Models for Logic Programs....Pages 43-65
Front Matter....Pages 67-67
Environment Representation for And-Or Parallel Execution....Pages 69-85
A Distributed Stack Implementation and an Abstract Machine for And-Or Parallel Execution of Logic Programs on Shared Memory Multiprocessors....Pages 87-140
Optimizing And-Or Parallel Models....Pages 141-165
Front Matter....Pages 167-167
Integrating Dependent and-, Independent and-, and Or-parallelism....Pages 169-188
And-Or Parallel Implementation of Prolog....Pages 189-214
Conclusions....Pages 215-222
Back Matter....Pages 223-243

✦ Subjects

Processor Architectures; Programming Languages, Compilers, Interpreters