Multiprocessor Execution of Logic Programs

1994. Auflage 1994
ISBN: 978-0-7923-9489-1
Verlag: Springer Us

Buch, Englisch, 243 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1210 g

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, , and dependent .
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.

Zielgruppe

Research

Autoren/Hrsg.

Gupta, Gopal

Fachgebiete

• Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
• Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur

Inhaltsverzeichnis

1: Introduction.- 1.1. Logic Programming.- 1.2. Parallel Execution of Logic Programs.- 1.3. Objectives.- 1.4. Outline.- I: Survey and Analysis of Parallel Execution Models.- 2: Parallel Execution Models for Logic Programs.- 3: Analysis of Or-parallel Models for Logic Programs.- II: Combining Independent And-and Or-parallelism.- 4: Environment Representation.- 5: Distributed Stack Implementation and an Abstract Machine for And-Or Parallel Execution on Shared Memory Multiprocessors.- 6: Optimizing And-Or Parallel Models.- III: Extensions and Variations of the And-Or Model.- 7: Integrating Dependent and-, Independent and-, and Or-parallelism.- 8: And-Or Parallel Implementation of Prolog.- 9: Conclusions.