Advanced Prolog: Techniques and Examples

Highlights of the book include:

• An introductory overview of Prolog's logical foundations, syntax and semantics
• A detailed exploration of issues in program design, efficiency and style, data representation and control flow
• Practical examples of how Prolog can be used in AI applications, including an expert system shell, a concept learning program, an active charter parser and a meta-level interpreter
• Chapter summaries and exercises, to promote understanding and encourage further experimentation
• Appendices outlining Quintus Prolog and listing many suppliers of other implementations

The book will be an text for students taking courses on Prolog, AI or logic programming with a practical rather than theoretical emphasis. Professional programmers will also find in it a good source of Prolog examples and techniques for developing larger applications, especially in AI.

Peter Ross, of the Department of Artificial Intelligence at the University of Edinburgh, has class-tested the material in this book with students over a number of years, at undergraduate and postgraduate level. He is also the author of two texts on Logo programmlng.