A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Broschiertes Buch

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

Versandkostenfrei!
Versandfertig in 1-2 Wochen
37,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
0 °P sammeln!
1 Introduction and Overview.- 1.1 General Introduction.- 1.2 Significance of the Work.- 1.3 Overall Organization.- 1.4 Syntax of Logic Programs.- 1.5 Data Manipulation by Unification.- 2 Concurrent Logic Programming.- 2.1 Process Interpretation of Logic Programs.- 2.2 Data-Flow Synchronization Techniques.- 2.3 Operational Semantics of FCP.- 3 Design of an Abstract FCP Machine.- 3.1 The Process Reduction Mechanism.- 3.2 The Abstract Machine Model.- 4 Concepts for a Distributed Implementation.- 4.1 Abstract System Architecture.- 4.2 Distributed Data Representation.- 4.3 The Distributed Reduction...