Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1991

Parallel Execution of Logic Programs

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

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)

Conference series link(s): PLP: Workshop on Parallel Logic Programming

Conference proceedings info: PLP 1991.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

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

Table of contents (14 papers)

  1. Front Matter

    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

  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

  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

    PDF
Back to top

Other Volumes

  1. Parallel Execution of Logic Programs

Back to top

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?
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

Search

Navigation