Revert "Deploying to master from @ d032620 🚀"

This reverts commit e21bd1c.

.gitignore

@@ -0,0 +1,6 @@
+# jekyll
+.sass-cache/*
+_site/*
+
+# Mac OS
+*.DS_Store

CNAME

@@ -1 +1 @@
-too.simply-logical.space
+book.simply-logical.space

CONTRIBUTORS

@@ -0,0 +1,4 @@
+Kacper Sokol <K.Sokol@bristol.ac.uk>
+Peter Flach <Peter.Flach@bristol.ac.uk>
+Thongchai Wirojsakseree <thongchai.wirojsakseree@gmail.com>
+Chris Tyas <>

README.md

@@ -1,57 +1,70 @@
 # Simply Logical: Intelligent Reasoning by Example #
-[![Licence](https://img.shields.io/badge/License-CC%20BY--NC--SA%204.0-lightgrey.svg)](https://github.com/simply-logical/simply-logical/blob/master/LICENCE)
-[![PDF](https://img.shields.io/badge/read-PDF-green.svg)](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf)
-[![Online](https://img.shields.io/badge/read-online-green.svg)](https://book.simply-logical.space)  
-[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1156977.svg)](https://doi.org/10.5281/zenodo.1156977)
+[![DOI](https://zenodo.org/badge/43899045.svg)](https://zenodo.org/badge/latestdoi/43899045)
 [![Join the chat at https://gitter.im/simply-logical/simply-logical](https://badges.gitter.im/Simply-Logical/Simply_Logcal.svg)](https://gitter.im/simply-logical/simply-logical?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 
-![Simply Logical cover](src/img/SLfront.gif "Simply Logical cover")
+![](img/SLfront.gif "Simply Logical cover")
 
-*by [Peter Flach](https://www.cs.bris.ac.uk/~flach/index.html), then at [Tilburg University](https://www.tilburguniversity.nl/), the Netherlands*  
-[John Wiley](https://www.wiley.com/) 1994, xvi + 240 pages, ISBN 0471 94152 2  
+*by [Peter Flach](https://www.cs.bris.ac.uk/~flach/index.html), then at [Tilburg University](http://www.tilburguniversity.nl/), the Netherlands*  
+[John Wiley](http://www.wiley.co.uk/) 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 an online version.
+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 ##
-[![PDF](https://img.shields.io/badge/read-PDF-green.svg)](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf)  
-The PDF version of the book is available as a [*GitHub release*](https://github.com/simply-logical/simply-logical/releases/tag/v1.0).
+The `PDF` version of the book is available as a GitHub release [here](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf).  
+The release page with some notes is available [here](https://github.com/simply-logical/simply-logical/releases/tag/v1.0).
 
 ## Online version ##
-[![Online](https://img.shields.io/badge/read-online-green.svg)](https://book.simply-logical.space)  
-The online version of the book is hosted on [*GitHub Pages*](https://book.simply-logical.space).
-It is built with [Jupyter Book](https://jupyterbook.org/) and [SWISH](https://swish.swi-prolog.org/), the online version of [SWI-Prolog](https://swi-prolog.org/).
+The online version of the book is hosted at *GitHub Pages* and was built with use of [Bootstrap](http://getbootstrap.com/) and [SWISH](http://swish.swi-prolog.org/), the online version of [SWI-Prolog](http://swi-prolog.org/).  
+You can view it [here](https://book.simply-logical.space).
 
 ### 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 3rd party cookies are enabled in your web browser.
+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 find an error in the online version of the book, please open a [*GitHub issue*](https://github.com/simply-logical/simply-logical/issues).
-
-### Building the book ###
-1. Pull the book repository
-   ```bash
-   git clone https://github.com/simply-logical/simply-logical.git
-
-   cd simply-logical
-   ```
-2. Install [*Jupyter Book*](https://pypi.org/project/jupyter-book/) with the
-   [`sphinx-prolog`](https://pypi.org/project/sphinx-prolog/) and
-   [`sphinx-multitoc-numbering`](https://pypi.org/project/sphinx-multitoc-numbering/)
-   extensions
-   ```bash
-   pip install -r requirements.txt
-   ```
-3. Build the book
-   ```bash
-   jb build .
-   ```
-4. Open the html build
-   ```bash
-   open _build/html/index.html
-   ```
-   or run it as a server
-   ```bash
-   python3 -m http.server --directory _build/html
-   open http://localhost:8000
-   ```
+If you found an error in the online version of the book please file an **issue** in [this](https://github.com/simply-logical/simply-logical/issues) GitHub repository.
+
+# Fixes #
+- [X] Figure 4.1 is missing.
+- [X] Fix rendering of *¨*, *Ô*, etc..
+
+[^\x00-\x7F]
+
+| org | rep      |
+| --- | ---      |
+| ¢   | ′  |
+| ¨   | →   |
+| ¥   | •   |
+| É   | … |
+| Æ   | □ |
+| ®   | ∅  |
+| ë é | ∪    |
+| ô   | ∧    |
+| ò   | ∨     |
+| ¯   | ¬    |
+| Â   | ¬    |
+| Ç   | ↔   |
+| ¼   | ≡  |
+| Š   | ä   |
+| Ÿ   | ü   |
+| Ñ   | —  |
+| --- | ---      |
+| $   | ∃  |
+| "   | ∀ |
+| --- | ---      |
+| Ô   | ‘  |
+| Õ   | ’  |
+| •   | ï   |
+| Ž   | é |
+| —   | ó |
+| «   | ×  |
+| ³   | ≥     |
+| è   | Ë   |
+| ¾   | æ  |
+| ê   | ⊆   |
+| --- | ---      |
+| È   | NULL     |
+
+- [X] Fix repeating header's ids.
+- [X] Merge external changes (Dropbox).
+- [X] Split `htm` files into proper modules.

_config.yml

@@ -0,0 +1,23 @@
+# Site settings
+title: Simply Logical
+subtitle: Intelligent Reasoning by Example
+email: Peter.Flach@bristol.ac.uk
+website: http://www.cs.bris.ac.uk/~flach/SimplyLogical.html
+description: > # this means to ignore newlines until "baseurl:"
+  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. 
+url: "https://book.simply-logical.space" # the base hostname & protocol for your site
+baseurl: "" # the subpath of your site, e.g. /blog/
+repo: "https://github.com/simply-logical/simply-logical"
+swish: "https://swish.simply-logical.space/"
+author: Peter Flach
+# twitter_username: jekyllrb
+# github_username:  jekyll
+
+orgurl: "https://simply-logical.space"
+google_analytics: "UA-112595762-2"
+
+# Build settings
+markdown: kramdown

_includes/footerB.html

@@ -0,0 +1,35 @@
+    <div class="container">
+    <style>h4{margin-left:0pt;margin-bottom:0pt;text-decoration:none;}</style>
+      <!-- Example row of columns -->
+      <div class="row">
+        <div class="col-md-3">
+          <h2 class="h2">{{ site.title }}</h2>
+          <h4 class="h4">Peter Flach,<br>University of Bristol</h4>
+          <ul class="contact-list">
+            <li><a href="{{ site.website }}">Book website</a></li>
+            <li><a href="mailto:{{ site.email }}">Email author</a></li>
+          </ul>
+        </div>
+        <div class="col-md-9">
+          <h2 class="h2">{{ site.subtitle }}</h2>
+          <p>{{ site.description }}</p>
+          <p><a class="btn btn-default" href="{{ site.baseurl }}/about.html#About" data-target="#About" role="button">Read more &raquo;</a></p>
+        </div>
+      </div>
+
+      <hr>
+
+      <footer>
+        <p>&copy; Simply Logical 2015&ndash;{{ site.time | date: '%Y' }}</p>
+      </footer>
+    </div> <!-- /container -->
+
+    <!-- Bootstrap core JavaScript
+    ================================================== -->
+    <!-- Placed at the end of the document so the pages load faster -->
+<!--    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.3/jquery.min.js"></script> -->
+    <script src="{{ site.baseurl }}/bootstrap/js/bootstrap.min.js"></script>
+    <!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
+    <!-- <script src="../../assets/js/ie10-viewport-bug-workaround.js"></script> -->
+
+  {% include google_analytics.html %}

_includes/google_analytics.html

@@ -0,0 +1,12 @@
+{% if site.google_analytics %}
+	<!-- Google Analytics -->
+	<script>
+		(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
+		(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
+		m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
+		})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
+		ga('create', '{{ site.google_analytics }}', 'auto');
+		ga('send', 'pageview');
+	</script>
+	<!-- End Google Analytics -->
+{% endif %}

_includes/headB.html

@@ -0,0 +1,51 @@
+  <meta charset="utf-8">
+  <meta http-equiv="X-UA-Compatible" content="IE=edge">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
+  <title>{% if page.title %}{{ page.title }}{% else %}{{ site.title }}{% endif %}</title>
+  <meta name="description" content="{% if page.excerpt %}{{ page.excerpt | strip_html | strip_newlines | truncate: 160 }}{% else %}{{ site.description }}{% endif %}">
+  <meta name="author" content="Kacper Sokol">
+
+  <!-- favicon -->
+  <link rel="shortcut icon" href="/img/favicon/favicon.ico">
+  <link rel="icon" sizes="16x16 32x32 64x64" href="/img/favicon/favicon.ico">
+  <link rel="icon" type="image/png" sizes="196x196" href="/img/favicon/favicon-192.png">
+  <link rel="icon" type="image/png" sizes="160x160" href="/img/favicon/favicon-160.png">
+  <link rel="icon" type="image/png" sizes="96x96" href="/img/favicon/favicon-96.png">
+  <link rel="icon" type="image/png" sizes="64x64" href="/img/favicon/favicon-64.png">
+  <link rel="icon" type="image/png" sizes="32x32" href="/img/favicon/favicon-32.png">
+  <link rel="icon" type="image/png" sizes="16x16" href="/img/favicon/favicon-16.png">
+  <link rel="apple-touch-icon" href="/img/favicon/favicon-57.png">
+  <link rel="apple-touch-icon" sizes="114x114" href="/img/favicon/favicon-114.png">
+  <link rel="apple-touch-icon" sizes="72x72" href="/img/favicon/favicon-72.png">
+  <link rel="apple-touch-icon" sizes="144x144" href="/img/favicon/favicon-144.png">
+  <link rel="apple-touch-icon" sizes="60x60" href="/img/favicon/favicon-60.png">
+  <link rel="apple-touch-icon" sizes="120x120" href="/img/favicon/favicon-120.png">
+  <link rel="apple-touch-icon" sizes="76x76" href="/img/favicon/favicon-76.png">
+  <link rel="apple-touch-icon" sizes="152x152" href="/img/favicon/favicon-152.png">
+  <link rel="apple-touch-icon" sizes="180x180" href="/img/favicon/favicon-180.png">
+  <meta name="msapplication-TileColor" content="#FFFFFF">
+  <meta name="msapplication-TileImage" content="/img/favicon/favicon-144.png">
+  <meta name="msapplication-config" content="/img/favicon/browserconfig.xml">
+  <!-- favicon -->
+
+  <!-- Bootstrap core CSS -->
+  <link href="{{ site.baseurl }}/bootstrap/css/bootstrap.min.css" rel="stylesheet">
+  <!-- Bootstrap drop-down sub-menus -->
+  <link href="{{ site.baseurl }}/bootstrap/css/dropdown-submenu.css" rel="stylesheet">
+
+  <script src="{{ site.baseurl }}/bootstrap/js/jquery.min.js"></script>
+
+  <link rel="stylesheet" href="{{ "/css/main.css" | prepend: site.baseurl }}">
+  <link rel="canonical" href="{{ page.url | replace:'index.html','' | prepend: site.baseurl | prepend: site.url }}">
+
+  <!-- SWISH -->
+  <link href="{{ site.baseurl }}/bootstrap/css/lpn.css" rel="stylesheet">
+  <link href="{{ site.baseurl }}/bootstrap/css/jquery-ui.min.css" rel="stylesheet">
+  <script src="{{ site.baseurl }}/bootstrap/js/jquery.min.js"></script>
+  <script src="{{ site.baseurl }}/bootstrap/js/jquery-ui.min.js"></script>
+  <script src="{{ site.baseurl }}/bootstrap/js/lpn.js"></script>
+
+
+  <!-- custom stylesheet -->
+  <link href="{{ site.baseurl }}/bootstrap/css/custom.css" rel="stylesheet">