programs's Introduction

Simply Logical – Intelligent Reasoning by Example (Fully Interactive Online Edition)

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

History

"Simply Logical -- Intelligent Reasoning by Example" by Peter Flach was first 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 ever since. The print version is no longer available through John Wiley publishers.

In 2015, as a pilot, we ported most of the original book into an online, interactive website using SWI-Prolog's SWISH platform. Since then, we created the Simply Logical open source organisation committed 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 an online version.

PDF version

The PDF version of the original book is available as a GitHub release.

Online version

The online version of the book is hosted on GitHub Pages. It is built with Jupyter Book and SWISH, the online version of SWI-Prolog. It follows the structure of the original print version, with minor corrections and additions as explained in the preface.

Prolog code blocks not working

If the interactive Prolog code blocks are not working for you in the online version of the book, please ensure that third-party cookies are enabled in your web browser.

Error in the book

If you find an error in the online version of the book, please open a GitHub issue.

Building the book

Pull the book repository

git clone https://github.com/simply-logical/simply-logical.git

cd simply-logical

Install Jupyter Book with the sphinx-prolog extension
```
pip install -r requirements.txt
```
Build the book
```
jb build .
```

Open the html build

open _build/html/index.html

or run it as a server

python3 -m http.server --directory _build/html
open http://localhost:8000

programs's People

Contributors

Stargazers

Watchers

programs's Issues

Integrate book code into Simply Logical online

The idea is to integrate the book code into the online book edition by creating libraries from the pieces of code in this repo and then importing these libraries into the SWISH boxes instead of writing the code explicitly in there.

This will help to clean up the code boxes, however since the code won't be visible it may undermine its educational purpose. Any ideas?

Merge prolog_scripts into this repo

Prolog scripts need to be merged into this repository. Then, the file structure has to be reorganised.

The question is how to maintain the separation between the original content (the code shipped with the book) from the new code. Maybe a "legacy" branch should be created?