The Art of Prolog, second edition: Advanced Programming Techniques / Edition 2

by Leon S. Sterling, Ehud Y. Shapiro

Overview

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.

Product Details

ISBN-13:	9780262691635
Publisher:	MIT Press
Publication date:	03/10/1994
Series:	Logic Programming
Edition description:	second edition
Pages:	552
Sales rank:	702,061
Product dimensions:	8.13(w) x 9.00(h) x 1.03(d)
Age Range:	18 Years

About the Author

Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering at the University of Melbourne. He is the coauthor of The Art of Prolog (second edition, MIT Press, 1994) and the editor of The Practice of Prolog (MIT Press, 1990).

Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science.

Editorial Reviews

In this new edition, the typography has been improved, diagrams are drawn more consistently, the background sections at the end of most chapters have been updated, references have been expanded, more advanced exercises and new programs are included, a new chapter on program transformation has been added and the chapters on interpreters and logic grammars have extensive additions. Part II, the Prolog Language, has been cleaned up in preparation for Standard Prolog. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews