The Art of Prolog: Advanced Programming Techniques

Front Cover
MIT Press, 1994 - Computers - 509 pages
4 Reviews
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course.

Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement—a systematic way of constructing Prolog programs developed by Leon Sterling.

All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
  

What people are saying - Write a review

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

Contents

Introduction
1
Logic Programs
9
Database Programming
29
Recursive Programming
45
The Computation Model of Logic Programs
87
Theory of Logic Programs
101
The Prolog Language
117
Programming in Pure Prolog
129
mAdvanced Prolog Programming Techniques
247
Incomplete Data Structures
283
SecondOrder Programming
301
Interpreters
319
Program Transformation
357
Logic Grammars
375
Search Techniques
389
Applications
409

Arithmetic
149
Structure Inspection
163
MetaLogical Predicates
175
ExtraLogical Predicates
215
Program Development
233
A Credit Evaluation Expert System
429
An Equation Solver
439
A Compiler
459
A Operators
479
Copyright

Common terms and phrases

References to this book

All Book Search results »

About the author (1994)

(MIT Press, 1990).

Bibliographic information