Skip to main content
SpringerLink
Log in

Programming in Prolog

Using the ISO Standard

  • Book
  • © 1994

Overview

Authors:
  1. William F. Clocksin

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Christopher S. Mellish

    1. Department of Artificial Intelligence, University of Edinburgh, Edinburgh, UK

    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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Tutorial Introduction

    • William F. Clocksin, Christopher S. Mellish
    Pages 1-20

  3. A Closer Look

    • William F. Clocksin, Christopher S. Mellish
    Pages 21-42

  4. Using Data Structures

    • William F. Clocksin, Christopher S. Mellish
    Pages 43-68

  5. Backtracking and the “Cut”

    • William F. Clocksin, Christopher S. Mellish
    Pages 69-92

  6. Input and Output

    • William F. Clocksin, Christopher S. Mellish
    Pages 93-108

  7. Built-in Predicates

    • William F. Clocksin, Christopher S. Mellish
    Pages 109-132

  8. More Example Programs

    • William F. Clocksin, Christopher S. Mellish
    Pages 133-174

  9. Debugging Prolog Programs

    • William F. Clocksin, Christopher S. Mellish
    Pages 175-200

  10. Using Prolog Grammar Rules

    • William F. Clocksin, Christopher S. Mellish
    Pages 201-220

  11. The Relation of Prolog to Logic

    • William F. Clocksin, Christopher S. Mellish
    Pages 221-242

  12. Projects in Prolog

    • William F. Clocksin, Christopher S. Mellish
    Pages 243-248

  13. Back Matter

    Pages 249-281
    Download chapter PDF
Back to top

Keywords

About this book

The continued popularity of Prolog and oflogic programming in general has called for a new edition in which we have corrected a few minor errors found in the previous edition. Since the previous edition of this book, the development of Prolog has proceeded with much vigour and creativity on the part of hundreds of researchers around the world. For example, the International Conference on Logic Programming will meet in 1995 for the twelfth time; the Internet newsgroup comp . 1 ang . pro log exchanges many messages daily; and there are numerous World-Wide Web resources of interest to Prolog users. It is no longer posssible to track the many books on Prolog and implementations of Prolog that are now available. The Prolog idea has been extended to new languages for manipulating sets of constraints, functional expressions, type hierarchies, and object-oriented programs. And yet throughout this time the Edinburgh Prolog syntax and semantics have served as a standard and as a base of stability. In tum, we hope that this book can continue to serve as an introduction to the language and its use. Cambridge, England W. F. C. July 1994 C. S. M. PREFACE TO THE THIRD EDITION We have added new material to Chapter 3 to give an account of up-to-date programming techniques using accumulators and difference structures. Chapter 8 contains some new information on syntax errors. Operator precedences are now compatible with the most widely-used implementations.

Authors and Affiliations

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    William F. Clocksin

  • Department of Artificial Intelligence, University of Edinburgh, Edinburgh, UK

    Christopher S. Mellish

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation