Skip to main content
  • Textbook
  • © 2003

Programming in Prolog

Using the ISO Standard

  • Since the previous edition of Programming in Prolog, the Prolog language has been standardised by the International Standards Organisation (ISO).

  • Although not all Prolog systems conform to the new standard, the authors felt it was necessary to update this book in accordance with the standard.

  • They have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete.

  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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

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

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XIII
  2. Tutorial Introduction

    • William F. Clocksin, Christopher S. Mellish
    Pages 1-24
  3. A Closer Look

    • William F. Clocksin, Christopher S. Mellish
    Pages 25-45
  4. Using Data Structures

    • William F. Clocksin, Christopher S. Mellish
    Pages 47-72
  5. Backtracking and the “Cut”

    • William F. Clocksin, Christopher S. Mellish
    Pages 73-98
  6. Input and Output

    • William F. Clocksin, Christopher S. Mellish
    Pages 99-118
  7. Built-in Predicates

    • William F. Clocksin, Christopher S. Mellish
    Pages 119-144
  8. More Example Programs

    • William F. Clocksin, Christopher S. Mellish
    Pages 145-185
  9. Debugging Prolog Programs

    • William F. Clocksin, Christopher S. Mellish
    Pages 187-212
  10. Using Prolog Grammar Rules

    • William F. Clocksin, Christopher S. Mellish
    Pages 213-235
  11. The Relation of Prolog to Logic

    • William F. Clocksin, Christopher S. Mellish
    Pages 237-257
  12. Projects in Prolog

    • William F. Clocksin, Christopher S. Mellish
    Pages 259-265
  13. Back Matter

    Pages 267-299

About this book

Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications.

Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete.

Reviews

From the reviews of the fifth edition:

"This is the fifth and the most recent edition of a legendary book … . It was probably the first introductory Prolog book and it is still the most gentle introduction to Prolog for everyone, including non-computer scientists. … the book is as great as ever as an introductory text for Prolog. When a newbie asks for an introduction to Prolog, the best advice is still Clocksin & Mellish." (Bart Demoen, TLP-Theory and Practice of Logic Programming, Vol. 5 (3), 2005)

Authors and Affiliations

  • Department of Computing, Wheatley Campus, Oxford Brookes University, Oxford, UK

    William F. Clocksin

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

    Christopher S. Mellish

Bibliographic Information

  • Book Title: Programming in Prolog

  • Book Subtitle: Using the ISO Standard

  • Authors: William F. Clocksin, Christopher S. Mellish

  • DOI: https://doi.org/10.1007/978-3-642-55481-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2003

  • Softcover ISBN: 978-3-540-00678-7Published: 25 July 2003

  • eBook ISBN: 978-3-642-55481-0Published: 06 December 2012

  • Edition Number: 5

  • Number of Pages: XIV, 300

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Artificial Intelligence

Buy it now

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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