Execution Models Of Prolog For Parallel Computers
Download Execution Models Of Prolog For Parallel Computers full books in PDF, epub, and Kindle. Read online free Execution Models Of Prolog For Parallel Computers ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Péter Kacsuk |
Publisher | : MIT Press (MA) |
Total Pages | : 296 |
Release | : 1990 |
Genre | : Computers |
ISBN | : |
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 |
Author | : John S. Conery |
Publisher | : Springer Science & Business Media |
Total Pages | : 154 |
Release | : 2012-12-06 |
Genre | : 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 | : Philip C. Treleaven |
Publisher | : Springer Science & Business Media |
Total Pages | : 506 |
Release | : 1987-08-12 |
Genre | : Computers |
ISBN | : 9783540182030 |
Organized by the University of Pisa on behalf of the European Strategic Programme for Research and Development in Information Technology (ESPRIT)
Author | : Helmar Burkhart |
Publisher | : Springer Science & Business Media |
Total Pages | : 936 |
Release | : 1990-08-30 |
Genre | : Computers |
ISBN | : 9783540530657 |
Proceedings -- Parallel Computing.
Author | : Nikolay N Mirenkov |
Publisher | : World Scientific |
Total Pages | : 519 |
Release | : 1991-08-24 |
Genre | : |
ISBN | : 9814556017 |
The proceedings of this UNESCO-supported conference consist of papers covering new trends and experiences in parallel computing technologies. Emphasis is made on the practical aspects of parallel programming, especially: all aspects of the applications of parallel computing technologies; hardware, languages and software tools for parallel processing; operating systems; general architecture concepts; enabling technologies; performance measurements; and the teaching of parallel processing technology.
Author | : Gopal Gupta |
Publisher | : Springer Science & Business Media |
Total Pages | : 251 |
Release | : 2012-12-06 |
Genre | : Computers |
ISBN | : 1461527783 |
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 | : David S. Warren |
Publisher | : MIT Press |
Total Pages | : 884 |
Release | : 1993 |
Genre | : Computers |
ISBN | : 9780262731058 |
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.
Author | : R. Correa |
Publisher | : Springer Science & Business Media |
Total Pages | : 334 |
Release | : 2013-06-29 |
Genre | : Computers |
ISBN | : 1475736096 |
Parallel and distributed computation has been gaining a great lot of attention in the last decades. During this period, the advances attained in computing and communication technologies, and the reduction in the costs of those technolo gies, played a central role in the rapid growth of the interest in the use of parallel and distributed computation in a number of areas of engineering and sciences. Many actual applications have been successfully implemented in various plat forms varying from pure shared-memory to totally distributed models, passing through hybrid approaches such as distributed-shared memory architectures. Parallel and distributed computation differs from dassical sequential compu tation in some of the following major aspects: the number of processing units, independent local dock for each unit, the number of memory units, and the programming model. For representing this diversity, and depending on what level we are looking at the problem, researchers have proposed some models to abstract the main characteristics or parameters (physical components or logical mechanisms) of parallel computers. The problem of establishing a suitable model is to find a reasonable trade-off among simplicity, power of expression and universality. Then, be able to study and analyze more precisely the behavior of parallel applications.
Author | : Bertram Fronhöfer |
Publisher | : Springer Science & Business Media |
Total Pages | : 390 |
Release | : 1992-04-22 |
Genre | : Computers |
ISBN | : 9783540554257 |
This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.