Programming in Prolog

Using the ISO Standard

  • William F. Clocksin
  • Christopher S. Mellish

Table of contents

  1. Front Matter
    Pages I-XIII
  2. William F. Clocksin, Christopher S. Mellish
    Pages 1-24
  3. William F. Clocksin, Christopher S. Mellish
    Pages 25-45
  4. William F. Clocksin, Christopher S. Mellish
    Pages 47-72
  5. William F. Clocksin, Christopher S. Mellish
    Pages 73-98
  6. William F. Clocksin, Christopher S. Mellish
    Pages 99-118
  7. William F. Clocksin, Christopher S. Mellish
    Pages 119-144
  8. William F. Clocksin, Christopher S. Mellish
    Pages 145-185
  9. William F. Clocksin, Christopher S. Mellish
    Pages 187-212
  10. William F. Clocksin, Christopher S. Mellish
    Pages 213-235
  11. William F. Clocksin, Christopher S. Mellish
    Pages 237-257
  12. William F. Clocksin, Christopher S. Mellish
    Pages 259-265
  13. Back Matter
    Pages 267-299

About this book

Introduction

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 the 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.

Keywords

C programming language Debugging Natural Processing Prolog Rack Syntax artificial intelligence data structure data structures programming language proving selection

Authors and affiliations

  • William F. Clocksin
    • 1
  • Christopher S. Mellish
    • 2
  1. 1.Department of Computing, Wheatley CampusOxford Brookes UniversityOxfordUK
  2. 2.Department of Artificial IntelligenceUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-55481-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00678-7
  • Online ISBN 978-3-642-55481-0
  • About this book