Multiprocessor Execution of Logic Programs

  • GopalĀ Gupta

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Introduction: Logic Programming and Parallel Processing

  3. Survey and Analysis of Parallel Execution Models

    1. Front Matter
      Pages 11-11
  4. Combining Independent And-and Or-parallelism

  5. Extensions and Variations of the And-Or Model

    1. Front Matter
      Pages 167-167
    2. Gopal Gupta
      Pages 189-214
    3. Gopal Gupta
      Pages 215-222
  6. Back Matter
    Pages 223-243

About this book

Introduction

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.

Keywords

Prolog logic programming processor programming programming language

Authors and affiliations

  • GopalĀ Gupta
    • 1
  1. 1.Laboratory for Logic, Databases, and Advanced Programming Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-2778-7
  • Copyright Information Springer Science+Business Media New York 1994
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-6200-5
  • Online ISBN 978-1-4615-2778-7
  • About this book