product iamge

A distributed implementation of Flat Concurrent Prolog on message-passing microprocessor systems

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Glässer, Uwe
Series: Teubner-Texte zur Informatik 3
Publisher: Vieweg+Teubner Verlag : Imprint : Vieweg+Teubner Verlag
Year: 1993

Language: English
Pages: 116
Tags: Engineering.

Content: 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 Algorithm --
4.4 Distributed Termination Detection --
4.5 Multiprogramming Facilities --
4.6 Deadlock and Livelock Prevention --
4.7 Dynamic Work Load Balancing --
4.8 Distributed Garbage Collection --
4.9 Related Work --
5 Implementing FCP on Large Transputer Networks --
5.1 Parallel Machine Architecture --
5.2 Reduction Unit Architecture --
5.3 Host Unit Architecture --
6 Performance Measurements and Optimizations --
6.1 Performance Measures --
6.2 Possible Optimizations --
7 Conclusions.