Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop Paris, June 24, 1991 Proceedings

✍ Scribed by Martin Gittins (auth.), A. Beaumont, G. Gupta (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 1991
Tongue: English
Leaves: 202
Series: Lecture Notes in Computer Science 569
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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?

✦ Table of Contents

Debugging parallel Strand Programs....Pages 1-16
Constraint handling, garbage collection and execution model issues in ElipSys....Pages 17-28
Controlling search with meta-Brave....Pages 29-38
Solving optimisation problems in the Aurora or-parallel Prolog system....Pages 39-53
καππα: A Kernel Andorra Prolog....Pages 54-69
A flexible scheduler for the Andorra-I system....Pages 70-82
The Pandora abstract machine: An extension of JAM....Pages 83-103
Performance of Muse on the BBN Butterfly TC2000....Pages 104-119
Scheduling strategies and speculative work....Pages 120-131
Performance of competitive OR-parallelism....Pages 132-145
ACE: And/or-parallel copying-based execution of logic programs....Pages 146-158
Blackboard communication in Prolog....Pages 159-172
Data parallelism in logic programming....Pages 173-184
An efficient binding management in OR-parallel model....Pages 185-195

✦ Subjects

Programming Techniques; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering

📜 SIMILAR VOLUMES

Parallel Execution of Logic Programs

📁 Parallel Execution of Logic Programs

✍ John S. Conery (auth.) 📂 Library 📅 1987 🏛 Springer US 🌐 English

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 f

Inductive Logic Programming: 9th Interna

📁 Inductive Logic Programming: 9th International Workshop, ILP-99 Bled, Slovenia, June 24–27, 1999 Proceedings

✍ Daphne Koller (auth.), Sašo Džeroski, Peter Flach (eds.) 📂 Library 📅 1999 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 9th International Conference on Inductive Logic Programming, ILP-99, held in Bled, Slovenia, in June 1999. The 24 revised papers presented were carefully reviewed and selected from 40 submissions. Also included are abstracts of three invited c

Inductive Logic Programming: 9th Interna

📁 Inductive Logic Programming: 9th International Workshop, ILP-99 Bled, Slovenia, June 24–27, 1999 Proceedings

✍ Daphne Koller (auth.), Sašo Džeroski, Peter Flach (eds.) 📂 Library 📅 1999 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

ICLP : international conference on logic

📁 ICLP : international conference on logic programming : proceedings, 12th, Tokyo, Japan, 13-18 June 1995

✍ Leon S. Sterling (eds.) 📂 Library 📅 1995 🏛 MIT Press 🌐 English

13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be g

Logic Programming: 24th International Co

📁 Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

✍ Vítor Santos Costa (auth.), Maria Garcia de la Banda, Enrico Pontelli (eds.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008.The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer

Logic Programming: 24th International Co

📁 Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

✍ Vítor Santos Costa (auth.), Maria Garcia de la Banda, Enrico Pontelli (eds.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English