Simply Logical: Intelligent Reasoning by Example

By Peter Flach

This book deals with methods to implement intelligent reasoning by means of Prolog programs. It is written from the shared viewpoints of Computational Logic and Artificial Intelligence, covering the theoretical and practical aspects of Prolog programming as well as topics such as knowledge representation, search techniques, and heuristics. Advanced reasoning techniques presented in the final part of the book include abduction, default reasoning, and induction. Most of these techniques draw upon recent journal articles and conference papers, references to which are included.

From the foreword by Robert Kowalski:

"This book by Peter Flach is an important addition to the many excellent books covering aspects of LP, filling a gap both by including new material on abduction and Inductive LP and by relating LP theory and Prolog programming practice in a sound and convincing manner. It relieves me of the temptation to write a revised edition of my own book, Logic for Problem Solving."

For ordering information, contact:

Nikki Phillips
John Wiley & Sons Ltd
Chicester, West Sussex, PO19 1UD, UK
Tel: +44 243 779 777
Fax: +44 243 775 878

256 pp., March 1994, John Wiley & Sons

ISBN 0471 94152 2 (paperback) appr. US$31.95

ISBN 0471 94215 4 (book+disk) appr. US$44.00

ISBN 0471 94153 0 (disk only) appr. US$30.00

For interested readers with access to the World Wide Web, more information can be obtained at the URL http://machtig.kub.nl:2080/Infolab/Peter/SimplyLogical.html