Overview

This monograph concentrates on the implementation ofconcurrent logic programming languages on loosely-coupledparallel computer architectures. Two different abstractmodels are also considered: a graph reduction based modeland a more imperative approach. The design of a specializedinstruction set is presented that is general enough to beused for the whole family of concurrent logic programminglanguages. In particular the language Parlog is concentratedupon because it is the most efficiently implementable of allthe non-flat logic programming languages. Other issuesarising from the implementation of a programming languageare discussed, in particular the design of a load balancingscheme which deals with the large number of short-livedprocesses inherent in a correct language implementation. Detailed descriptions of all the data structures andsynchronisation algorithms are also presented. Resourceexhaustion is also discussed and handled within theimplementations. Detailed performance results for bothmodels of computation are given. From the material it shouldbe possible for the reader to create an implementation.

Full Product Details

Author:   Andrew Cheese
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1992 ed.
Volume:   586
Dimensions:   Width: 15.50cm , Height: 1.00cm , Length: 23.50cm
Weight:   0.640kg
ISBN:  

9783540553823

ISBN 10:   3540553827
Pages:   190
Publication Date:   20 May 1992
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Parlog a concurrent logic programming language.- A fine-grain graph-reduction model of computation.- Implementing parlog on a packet-rewriting computational model.- The Multi-Sequential coarse-grain approach.- Summary, further work and conclusions.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions