Advertisement

Table of contents

  1. Front Matter
  2. Martin Gittins
    Pages 1-16
  3. Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu
    Pages 17-28
  4. P. Kefalas, T. J. Reynolds
    Pages 29-38
  5. Remco Moolenaar, Henk Van Acker, Bart Demoen
    Pages 54-69
  6. Inês de Castro Dutra
    Pages 70-82
  7. Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi
    Pages 104-119
  8. Anthony Beaumont
    Pages 120-131
  9. Wolfgang Ertel
    Pages 132-145
  10. Gopal Gupta, M. Hermenegildo
    Pages 146-158
  11. Koenraad O. M. De Bosschere
    Pages 159-172
  12. Giancarlo Succi, Giuseppe Marino
    Pages 173-184
  13. H. Bourzoufi, G. Goncalves, P. Lecouffe, B. Toursel
    Pages 185-195
  14. Back Matter

About these proceedings

Introduction

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?

Keywords

Mathematical Logic Nicht-deterministische Sprchen Non-deterministic Languages Prallel Processing Prallel-Verarbeitung Testen und Debugging Testing and Debugging logic logic programming programming semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-55038-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55038-9
  • Online ISBN 978-3-540-46673-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site