Parallel Execution of Logic Programs
Springer-Verlag New York Inc.
978-1-4612-9187-9 (ISBN)
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.
Reihe/Serie | The Springer International Series in Engineering and Computer Science ; 25 |
---|---|
Zusatzinfo | 160 p. |
Verlagsort | New York, NY |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Sachbuch/Ratgeber ► Natur / Technik ► Garten |
Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge | |
Informatik ► Theorie / Studium ► Compilerbau | |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Informatik ► Weitere Themen ► Hardware | |
ISBN-10 | 1-4612-9187-9 / 1461291879 |
ISBN-13 | 978-1-4612-9187-9 / 9781461291879 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich