SWISH version of Prolog textbook
HTML CSS
Permalink
Failed to load latest commit information.
_includes
_layouts Reveal.js slides example moved to COMS30106/simply-logical_slides Dec 24, 2016
_sass Bootstrap power Oct 15, 2015
bootstrap SWISH source changed to swish.simply-logical.space Jan 8, 2017
css Bootstrap power Oct 15, 2015
img pdf and emz formatted images moved from the master branch Dec 24, 2016
.gitignore
CNAME Book transferred to custom domain: book.simply-logical.space Jan 6, 2017
README.md SWISH and SWI-Prolog references updated Jan 8, 2017
_config.yml
about.md SWISH and SWI-Prolog references updated Jan 8, 2017
index.html Updated home page and footer. Additional variables in config. Jan 25, 2016
part_a.html Tags to extract figures, swish boxes, exercise boxes and info boxes Jan 10, 2017
part_i.html Tags to extract figures, swish boxes, exercise boxes and info boxes Jan 10, 2017
part_ii.html
part_iii.html Tags to extract figures, swish boxes, exercise boxes and info boxes Jan 10, 2017

README.md

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.

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.

Prolog code blocks not working

If Prolog blocks are not working for you in the online version of the book please make sure that 3rd party cookies are enabled in your web browser.

Error in the book

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

Fixes

  • Figure 4.1 is missing.
  • Fix rendering of ¨, Ô, etc..

[^\x00-\x7F]

org rep
¢
¨
¥
É
Æ
®
ë é
ô
ò
¯ ¬
 ¬
Ç
¼
Š ä
Ÿ ü
Ñ
--- ---
$
"
--- ---
Ô
Õ
ï
Ž é
ó
« ×
³
è Ë
¾ æ
ê
--- ---
È NULL
  • Fix repeating header's ids.
  • Merge external changes (Dropbox).
  • Split htm files into proper modules.