Skip to main content
SpringerLink
Log in
Book cover

Parallel Execution of Logic Programs

  • Book
  • © 1987

Overview

Authors:
  1. John S. Conery

    1. University of Oregon, 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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Introduction

    • John S. Conery
    Pages 3-6

  3. Logic Programming

    • John S. Conery
    Pages 7-34

  4. Parallelism in Logic Programs

    • John S. Conery
    Pages 35-61

  5. The AND/OR Process Model

    • John S. Conery
    Pages 63-72

  6. Parallel OR Processes

    • John S. Conery
    Pages 73-81

  7. Parallel AND Processes

    • John S. Conery
    Pages 83-118

  8. Implementation

    • John S. Conery
    Pages 119-131

  9. Back Matter

    Pages 133-146
    Download chapter PDF
Back to top

Keywords

About this book

This book is an updated version of my Ph.D. dissertation, The AND/OR Process Model for Parallel Interpretation of Logic Programs. The three years since that paper was finished (or so I thought then) have seen quite a bit of work in the area of parallel execution models and programming languages for logic programs. A quick glance at the bibliography here shows roughly 50 papers on these topics, 40 of which were published after 1983. The main difference between the book and the dissertation is the updated survey of related work. One of the appendices in the dissertation was an overview of a Prolog implementation of an interpreter based on the AND/OR Process Model, a simulator I used to get some preliminary measurements of parallelism in logic programs. In the last three years I have been involved with three other implementations. One was written in C and is now being installed on a small multiprocessor at the University of Oregon. Most of the programming of this interpreter was done by Nitin More under my direction for his M.S. project. The other two, one written in Multilisp and the other in Modula-2, are more limited, intended to test ideas about implementing specific aspects of the model. Instead of an appendix describing one interpreter, this book has more detail about implementation included in Chapters 5 through 7, based on a combination of ideas from the four interpreters.

Authors and Affiliations

  • University of Oregon, USA

    John S. Conery

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation