Parallelism in logic

Inhaltsverzeichnis1 Introduction.1.1 Logic.1.2 Parallelism.1.3 Parallelism and Logic.1.4 Relevance of the Work.1.5 Organization of the Book.2 Foundations.2.1 Logic: The Connection Method.2.2 Parallelism: Unity and Processes.2.3 Model Elimination.2.4 A Language: Lop.2.5 Conclusions.3 State of the Art.3.1 Parallel Logic Systems.3.2 Conclusions.4 Parallelism in Logic.4.1 Chapter Organization.4.2 Variations on Parallelism.4.3 Overview.4.4 Multitasking.4.5 Modularity.4.6 Precision.4.7 Competition.4.8 Spanning Sets.4.9 Reductions.4.10 OR-Parallelism.4.11 Routes.4.12 AND-Parallelism.4.13 Term Parallelism.4.14 Distributed Representation.4.15 Conclusions: Parallelism in Logic.5 A Parallel Logic Language: MMLOP.5.1 Overview.5.2 Syntax.5.3 Semantics.5.4 Examples.6 Computational Model.6.1 A Computational Model for MMLop.7 Architecture.7.1 Overview Architecture.7.2 Spanning Setters.7.3 Mappings to Parallel Architectures.7.4 Unification.7.5 Conclusions: Spanning Setters and Parallel Architectures.8 Conclusions.8.1 Foundations.8.2 State of the Art.8.3 Parallelism in Logic.8.4 MMLOP: A Parallel Logic Programming Language.8.5 Computational Model.8.6 Architecture.