Skip to main content
SpringerLink
Log in
Book cover

Multiprocessor Execution of Logic Programs

  • Book
  • © 1994

Overview

Authors:
  1. Gopal Gupta

    1. Laboratory for Logic, Databases, and Advanced Programming Department of Computer Science, New Mexico State University, Las Cruces, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Introduction: Logic Programming and Parallel Processing

    1. Introduction: Logic Programming and Parallel Processing

      • Gopal Gupta
      Pages 1-10

  3. Survey and Analysis of Parallel Execution Models

    1. Front Matter

      Pages 11-11
      Download chapter PDF

    2. Parallel Execution Models for Logic Programs

      • Gopal Gupta
      Pages 13-41

    3. Analysis of Or-parallel Models for Logic Programs

      • Gopal Gupta
      Pages 43-65

  5. Extensions and Variations of the And-Or Model

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Integrating Dependent and-, Independent and-, and Or-parallelism

      • Gopal Gupta
      Pages 169-188

    3. And-Or Parallel Implementation of Prolog

      • Gopal Gupta
      Pages 189-214

    4. Conclusions

      • Gopal Gupta
      Pages 215-222

  6. Back Matter

    Pages 223-243
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Laboratory for Logic, Databases, and Advanced Programming Department of Computer Science, New Mexico State University, Las Cruces, USA

    Gopal Gupta

Bibliographic Information

  • Book Title: Multiprocessor Execution of Logic Programs

  • Authors: Gopal Gupta

  • DOI: https://doi.org/10.1007/978-1-4615-2778-7

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1994

  • Hardcover ISBN: 978-0-7923-9489-1Published: 31 October 1994

  • Softcover ISBN: 978-1-4613-6200-5Published: 06 October 2012

  • eBook ISBN: 978-1-4615-2778-7Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XVIII, 243

  • Topics: Processor Architectures, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation