Multiprocessor Execution of Logic Programs - Gopal Gupta

Multiprocessor Execution of Logic Programs

(Autor)

Buch | Hardcover
243 Seiten
1994 | 1994 ed.
Springer (Verlag)
978-0-7923-9489-1 (ISBN)
160,49 inkl. MwSt
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, independent and-parallelism and dependent and-parallelism. Coverage includes a thorough survey of parallel implementation techniques and parallel systems 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.

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.

Zusatzinfo XVIII, 243 p.
Verlagsort Dordrecht
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Compilerbau
ISBN-10 0-7923-9489-5 / 0792394895
ISBN-13 978-0-7923-9489-1 / 9780792394891
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85