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.

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 my book is available as a GitHub release here.
The release page with some notes is available here.

Online version

The online version of my 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 »