Le livre est actuellement en rupture de stock

Parallelism in logic

Its Potential for Performance and Program Development

Auteurs

Franz Kurfess

Évaluation du livre

2,0(1)Évaluer

Paramètres

En savoir plus sur le livre

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.