About

Simply Logical: Intelligent Reasoning by Example

by Peter Flach, then at Tilburg University, the Netherlands
John Wiley 1994, xvi + 240 pages, ISBN 0471 94152 2
Reprinted: December 1994, July 1998.

The online edition of this book can be cited with DOI

History

“Simply Logical” by Peter Flach was published by John Wiley in 1994. It could be purchased as book-only or with a 3.5 inch diskette containing the Prolog programs printed in the book (for various operating systems). In 2007 the copyright reverted back to the author and book and programs have been freely available online.

In 2015, as a pilot, we have ported most of the original book into an online, interactive website using SWI-Prolog’s SWISH platform. Since then, we have created Simply Logical open source organisation commited to maintaining a suite of freely available interactive online educational resources about Artificial Intelligence and Logic Programming with Prolog. Visit our organisation’s website and GitHub profile for more details.

This book is no longer available through John Wiley publishers. You can download a free PDF copy or view its online version – see below for details.

Preface

This is a book about intelligent reasoning. Reasoning is the process of drawing conclusions; intelligent reasoning is the kind of reasoning performed by humans. This is not to say that this book is about the psychological aspects of human reasoning: rather, it discusses methods to implement intelligent reasoning by means of Prolog programs. The book is written from the shared viewpoints of Computational Logic, which aims at automating various kinds of reasoning, and Artificial Intelligence, which seeks to implement aspects of intelligent behaviour on a computer. The combination of these two viewpoints is a distinguishing feature of this book, which I think gives it a unique place among the many related books available.

PDF version

The PDF version of the book is available as a GitHub release here.
The release page with some notes is available here.

Online version

The online version of the book is hosted at GitHub Pages and was built with use of Bootstrap and SWISH, the online version of SWI-Prolog.
You can view it here.

Error in the book

If you found an error in the online version of the book please file an issue in this GitHub repository.

Simply Logical

Peter Flach,
University of Bristol

Intelligent Reasoning by Example

This book discusses methods to implement intelligent reasoning by means of Prolog programs. The book is written from the shared viewpoints of Computational Logic, which aims at automating various kinds of reasoning, and Artificial Intelligence, which seeks to implement aspects of intelligent behaviour on a computer.

Read more »