Execution Models Of Prolog For Parallel Computers PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Execution Models Of Prolog For Parallel Computers PDF full book. Access full book title Execution Models Of Prolog For Parallel Computers.
Author | : Péter Kacsuk |
Publisher | : MIT Press (MA) |
Total Pages | : 292 |
Release | : 1990 |
Genre | : Parallel processing (Electronic computers) |
ISBN | : |
Download Execution Models of Prolog for Parallel Computers Book in PDF, ePub and Kindle
The research described in this book addresses the semantic gap between logic programming languages and the architecture of parallel computers - the problem of how to implement logic programming languages on parallel computers in a way that can most effectively exploit the inherent parallelism of the language and efficiently utilize the parallel architecture of the computer. Following a useful review of other research results, the first project explores the possibilities of implementing logic programs on MIMD, nonshared memory massively parallel computers containing 100 to 1,000 processing elements. The second investigates the possibility of implementing Prolog on a typical SIMD machine, called a Distributed Processor Array. The author's objectives are to define a parallel computational paradigm (the Extended Cellular-Dataflow Model) that can be used to create a Parallel Prolog Abstract Machine as a general starting point for implementing logic programming languages on parallel computers, to exploit the different types of parallelism of these programs, to define an efficient parallel logic machine, to explore the possibilities of implementing logic programming languages on array processors, such as the DAP, to invent parallel implementation techniques for effectively executing Prolog on the DAP, and to define a parallel extension of Prolog that is able to utilize the processor aggregate of the DAP for effectively solving numerical subproblems within logic programs Peter Kacsuk is with Multilogic Computing Ltd. of Budapest, Hungary.
Author | : Peter Kacsukm |
Publisher | : |
Total Pages | : 288 |
Release | : 1990-02-01 |
Genre | : |
ISBN | : 9780785559818 |
Download Execution Models of Prolog for Parallel Computers Book in PDF, ePub and Kindle
Author | : KACSUK PÉTER. |
Publisher | : |
Total Pages | : 0 |
Release | : 1988 |
Genre | : |
ISBN | : |
Download Execution Models of Prolog for Parallel Computers Book in PDF, ePub and Kindle
Author | : Joachim Beer |
Publisher | : Springer Science & Business Media |
Total Pages | : 140 |
Release | : 1989-12-13 |
Genre | : Computers |
ISBN | : 9783540520535 |
Download Concepts, Design, and Performance Analysis of a Parallel Prolog Machine Book in PDF, ePub and Kindle
This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author shows how even fully deterministic Prolog programs can be effectively mapped onto the proposed architecture. The design is based on a highly optimized abstract Prolog specific instruction set. A special feature of this work is a sophisticated classification scheme for Prolog variables which substantially reduces the overhead for unification with occur-check. To support the model an architecture consisting of a circular pipeline of independent processors has been designed. This pipeline has been designed to work as a co-processor to a UNIX based workstation. In contrast to other attempts to execute sequential Prolog in parallel, the proposed model does not restrict the use of any of the standard Prolog language features. The book gives a full account of the execution model, the system architecture, and the abstract Prolog instruction set.
Author | : Andrew Cheese |
Publisher | : Springer Science & Business Media |
Total Pages | : 200 |
Release | : 1992-05-20 |
Genre | : Computers |
ISBN | : 9783540553823 |
Download Parallel Execution of Parlog Book in PDF, ePub and Kindle
This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different abstract models are also considered: a graph reduction based model and a more imperative approach. The design of a specialized instruction set is presented that is general enough to be used for the whole family of concurrent logic programming languages. In particular the language Parlog is concentrated upon because it is the most efficiently implementable of all the non-flat logic programming languages. Other issues arising from the implementation of a programming language are discussed, in particular the design of a load balancing scheme which deals with the large number of short-lived processes inherent in a correct language implementation. Detailed descriptions of all the data structures and synchronisation algorithms are also presented. Resource exhaustion is also discussed and handled within the implementations. Detailed performance results for both models of computation are given. From the material it should be possible for the reader to create an implementation.
Author | : Barry S. Fagin |
Publisher | : |
Total Pages | : 584 |
Release | : 1987 |
Genre | : |
ISBN | : |
Download A Parallel Execution Model for Prolog Book in PDF, ePub and Kindle
Author | : Peter Kacsuk |
Publisher | : |
Total Pages | : 504 |
Release | : 1992-08-11 |
Genre | : Computers |
ISBN | : |
Download Implementations of Distributed Prolog Book in PDF, ePub and Kindle
Leading international contributors present papers pertaining to current approaches in the design and implementation of distributed logic languages that are a generation beyond standard Prolog, all of them introducing ideas of distributed and parallel programming in an attempt to bring high performance features to logic programming applications. Details all aspects of underlying research at a number of global centers including language, implementation models and techniques, hardware architecture, performance results, applications and more.
Author | : David H. D. Warren |
Publisher | : |
Total Pages | : |
Release | : 1988 |
Genre | : |
ISBN | : |
Download Or-parallel Execution Models of Prolog Book in PDF, ePub and Kindle
Author | : Gopal Gupta |
Publisher | : Springer Science & Business Media |
Total Pages | : 251 |
Release | : 2012-12-06 |
Genre | : Computers |
ISBN | : 1461527783 |
Download Multiprocessor Execution of Logic Programs Book in PDF, ePub and Kindle
Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or-parallelism, independent and-parallelism and dependent and-parallelism. Coverage includes a thorough survey of parallel implementation techniques and parallel systems developed for Prolog. Multiprocessor Execution of Logic Programs is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.
Author | : John S. Conery |
Publisher | : Springer Science & Business Media |
Total Pages | : 154 |
Release | : 2012-12-06 |
Genre | : Computers |
ISBN | : 1461319870 |
Download Parallel Execution of Logic Programs Book in PDF, ePub and Kindle
This book is an updated version of my Ph.D. dissertation, The AND/OR Process Model for Parallel Interpretation of Logic Programs. The three years since that paper was finished (or so I thought then) have seen quite a bit of work in the area of parallel execution models and programming languages for logic programs. A quick glance at the bibliography here shows roughly 50 papers on these topics, 40 of which were published after 1983. The main difference between the book and the dissertation is the updated survey of related work. One of the appendices in the dissertation was an overview of a Prolog implementation of an interpreter based on the AND/OR Process Model, a simulator I used to get some preliminary measurements of parallelism in logic programs. In the last three years I have been involved with three other implementations. One was written in C and is now being installed on a small multiprocessor at the University of Oregon. Most of the programming of this interpreter was done by Nitin More under my direction for his M.S. project. The other two, one written in Multilisp and the other in Modula-2, are more limited, intended to test ideas about implementing specific aspects of the model. Instead of an appendix describing one interpreter, this book has more detail about implementation included in Chapters 5 through 7, based on a combination of ideas from the four interpreters.