[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Parallel Execution of Logic Programs

ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. A. Beaumont
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. G. Gupta
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 569)

Included in the following conference series:

Conference proceedings info: PLP 1991.

  • 1634 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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?

Similar content being viewed by others

Keywords

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Debugging parallel Strand Programs

    • Martin Gittins
    Pages 1-16

  3. Constraint handling, garbage collection and execution model issues in ElipSys

    • Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu
    Pages 17-28

  4. Controlling search with meta-Brave

    • P. Kefalas, T. J. Reynolds
    Pages 29-38

  5. Solving optimisation problems in the Aurora or-parallel Prolog system

    • Péter Szeredi
    Pages 39-53

  6. καππα: A Kernel Andorra Prolog

    • Remco Moolenaar, Henk Van Acker, Bart Demoen
    Pages 54-69

  7. A flexible scheduler for the Andorra-I system

    • Inês de Castro Dutra
    Pages 70-82

  8. The Pandora abstract machine: An extension of JAM

    • Reem Bahgat
    Pages 83-103

  9. Performance of Muse on the BBN Butterfly TC2000

    • Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi
    Pages 104-119

  10. Scheduling strategies and speculative work

    • Anthony Beaumont
    Pages 120-131

  11. Performance of competitive OR-parallelism

    • Wolfgang Ertel
    Pages 132-145

  12. ACE: And/or-parallel copying-based execution of logic programs

    • Gopal Gupta, M. Hermenegildo
    Pages 146-158

  13. Blackboard communication in Prolog

    • Koenraad O. M. De Bosschere
    Pages 159-172

  14. Data parallelism in logic programming

    • Giancarlo Succi, Giuseppe Marino
    Pages 173-184

  15. An efficient binding management in OR-parallel model

    • H. Bourzoufi, G. Goncalves, P. Lecouffe, B. Toursel
    Pages 185-195

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Parallel Execution of Logic Programs

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation