Enhanced descriptions from Syndetics:

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.

Reviews provided by Syndetics

CHOICE Review

The authors' aim is to go beyond a basic introduction to Prolog and to cover advanced programming techniques. They first discuss logic programming as a computational model, and then the implementation of this concept in Prolog. The third is the distinctive part of the book, explaining complex programming techniques. The fourth part is equally valuable, covering sophisticated applications like game-playing programs, a compiler, and a prototype expert system. Intended primarily for senior undergraduates and first-year graduates, this book (and the software to be released, WISDOM Prolog, a version close to the informal Edinburgh standard) is a must for any academic institution offering courses in computer science/computer information systems. Its comprehensiveness, depth, authority, and clarity would make it a valuable background reference for instructors and for undergraduates in artificial intelligence and AI languages-such courses are increasingly becoming standard parts of the curriculum. Also suitable for self-study by an assiduous reader. All libraries.-R. Bharath, Northern Michigan University