Programming in Prolog: Using the ISO Standard

Front Cover
Springer Science & Business Media, Dec 6, 2012 - Computers - 300 pages

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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Table of Contents
1
A Closer Look
25
Using Data Structures
47
Backtracking and the Cut
73
Input and Output
99
Builtin Predicates
119
More Example Programs
145
Debugging Prolog Programs 187
186
Using Prolog Grammar Rules
213
The Relation of Prolog to Logic
237
Projects in Prolog 259
258
A Answers to Selected Exercises
267
Code to Support DCGs
289
25
295
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information