The Art of Prolog

by Sterling, Leon; Shapiro, Ehud

• ISBN13: 9780262193382
• ISBN10: 0262193388
• Edition: 2nd
• Format: Hardcover
• Copyright: 1994-04-01
• Publisher: Mit Pr

Summary

This new edition of The Art of Prologcontains 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.

Table of Contents

Figures
Programs
Series Foreword
Foreword
Preface
Preface to First Edition
Introduction	p. 1
Logic Programs	p. 9
Basic Constructs	p. 11
Database Programming	p. 29
Recursive Programming	p. 45
The Computation Model of Logic Programs	p. 87
Theory of Logic Programs	p. 101
The Prolog Language	p. 117
Pure Prolog	p. 119
Programming in Pure Prolog	p. 129
Arithmetic	p. 149
Structure Inspection	p. 163
Meta-Logical Predicates	p. 175
Cuts and Negation	p. 189
Extra-Logical Predicates	p. 215
Program Development	p. 233
Advanced Prolog Programming Techniques	p. 247
Nondeterministic Programming	p. 249
Incomplete Data Structures	p. 283
Second-Order Programming	p. 301
Interpreters	p. 319
Program Transformation	p. 357
Logic Grammars	p. 375
Search Techniques	p. 389
Applications	p. 409
Game-Playing Programs	p. 411
A Credit Evaluation Expert System	p. 429
An Equation Solver	p. 439
A Compiler	p. 459
A: Operators	p. 479
References	p. 483
Index	p. 497
Table of Contents provided by Blackwell. All Rights Reserved.