An Experimental Study of Parallel Execution of Logic Programs
Author : Jakob W. Krog
Publisher :
Page : 156 pages
File Size : 38,87 MB
Release : 1985
Category : Computer programming
ISBN :
Author : Jakob W. Krog
Publisher :
Page : 156 pages
File Size : 38,87 MB
Release : 1985
Category : Computer programming
ISBN :
Author :
Publisher :
Page : pages
File Size : 20,53 MB
Release : 1985
Category :
ISBN :
Author :
Publisher :
Page : pages
File Size : 12,77 MB
Release : 1985
Category :
ISBN :
Author : Anthony Beaumont
Publisher : Springer Science & Business Media
Page : 212 pages
File Size : 21,45 MB
Release : 1991-12-11
Category : Computers
ISBN : 9783540550389
Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at the Workshop on Parallel Logic Programming held in Paris on June 24, 1991, as part of the 8th International Conference on Logic Programming. The papers represent the state of the art in parallel logic programming, and report the current research in this area, including many new results. The three essential issues in parallel execution of logic programs which the papers address are: - Which form(s) of parallelism (or-parallelism, and-parallelism, stream parallelism, data-parallelism, etc.) will be exploited? - Will parallelism be explicitly programmed by programmers, or will it be exploited implicitly without their help? - Which target parallel architecture will the logic program(s) run on?
Author : Anthony Beaumont
Publisher : Springer
Page : 0 pages
File Size : 22,7 MB
Release : 1991-12-11
Category : Computers
ISBN : 9783540550389
Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at the Workshop on Parallel Logic Programming held in Paris on June 24, 1991, as part of the 8th International Conference on Logic Programming. The papers represent the state of the art in parallel logic programming, and report the current research in this area, including many new results. The three essential issues in parallel execution of logic programs which the papers address are: - Which form(s) of parallelism (or-parallelism, and-parallelism, stream parallelism, data-parallelism, etc.) will be exploited? - Will parallelism be explicitly programmed by programmers, or will it be exploited implicitly without their help? - Which target parallel architecture will the logic program(s) run on?
Author : John S. Conery
Publisher : Springer Science & Business Media
Page : 154 pages
File Size : 37,87 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461319870
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.
Author :
Publisher : IOS Press
Page : 498 pages
File Size : 31,60 MB
Release : 1992
Category : Computers
ISBN : 9789051990997
The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, showing how the research goals set were achieved.
Author : Bogumil Hausman
Publisher :
Page : 67 pages
File Size : 48,56 MB
Release : 1986
Category : Computer programs
ISBN :
The third part shows the implementation of four refinements of the basic storage model for OR-parallelism and contains data about performance on two types of shared memory architectures, with and without local memories."
Author :
Publisher :
Page : 252 pages
File Size : 24,66 MB
Release : 1982
Category : Military research
ISBN :
Author :
Publisher :
Page : 568 pages
File Size : 32,64 MB
Release : 1994
Category : Aeronautics
ISBN :