Overview
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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
Keywords
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
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