Merge pull request #11 from simply-logical/pf-release

Peter's edits

CITATION.cff

@@ -0,0 +1,14 @@
+cff-version: 1.2.0
+message: "If you use this book, please cite it as below."
+authors:
+- family-names: "Flach"
+  given-names: "Peter"
+  orcid: "https://orcid.org/0000-0001-6857-5810"
+- family-names: "Sokol"
+  given-names: "Kacper"
+  orcid: "https://orcid.org/0000-0002-9869-5896"
+title: "Simply Logical: Intelligent Reasoning by Example (Online Edition)"
+version: v2.0
+doi: 10.5281/zenodo.1156977
+date-released: 2022-07-01
+url: "https://book.simply-logical.space/"

README.md

@@ -1,29 +1,38 @@
-# Simply Logical: Intelligent Reasoning by Example #
-[![Licence](https://img.shields.io/github/license/simply-logical/simply-logical.svg)](https://github.com/simply-logical/simply-logical/blob/master/LICENCE)
+# 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)
 [![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")
 
-*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](https://www.tilburguniversity.edu/), the Netherlands*  
+[John Wiley](https://www.wiley.com/en-gb) 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.
+## 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](https://www.cs.bris.ac.uk/~flach/SimplyLogical.html) 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](https://swish.swi-prolog.org/). 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](https://simply-logical.space/) and [GitHub profile](https://github.com/simply-logical) 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 ##
 [![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 original book is available as a [*GitHub release*](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/).
+It follows the structure of the original print version, with minor corrections and additions as explained in the [preface](https://book.simply-logical.space/src/text/0_preface/_preface.html).
 
 ### 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 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*](https://github.com/simply-logical/simply-logical/issues).
@@ -36,9 +45,7 @@ If you find an error in the online version of the book, please open a [*GitHub i
    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
+   [`sphinx-prolog`](https://pypi.org/project/sphinx-prolog/) extension
    ```bash
    pip install -r requirements.txt
    ```

_config.yml

@@ -1,9 +1,9 @@
-title: 'Simply Logical:<br>Intelligent Reasoning by Example'
+title: 'Simply Logical<br><i>Intelligent Reasoning by Example</i>'
 author: >
   <a href="mailto:Peter.Flach@bristol.ac.uk">Peter Flach</a> and
   <a href="mailto:K.Sokol@bristol.ac.uk">Kacper Sokol</a>,
   University of Bristol, United Kingdom
-copyright: '2015–2021'
+copyright: '2015–2022'
 logo: src/img/SL.svg
 
 exclude_patterns:
@@ -13,6 +13,8 @@ exclude_patterns:
   - README.md
   - src/ex
   - src/code/temp
+  - src/text/0_preface/glossary.md
+  - src/text/1_part_i/4-additional_materials.md
 
 execute:
   execute_notebooks: off
@@ -23,14 +25,22 @@ html:
   use_repository_button: true
   use_issues_button: true
   extra_navbar: >
-    <a href="https://doi.org/10.5281/zenodo.1156977"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.1156977.svg" alt="DOI"></a>
+    <a href="https://doi.org/10.5281/zenodo.1156977"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.1156977.svg" alt="DOI"></a></br>
+    <a href="https://github.com/simply-logical/simply-logical/blob/master/LICENCE"><img src="https://img.shields.io/badge/License-CC%20BY--NC--SA%204.0-lightgrey.svg" alt="Licence"></a>
   extra_footer: >
+    <p>
+    This work is licenced under the
+    <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/">Creative
+    Commons Attribution-NonCommercial-ShareAlike 4.0 International Licence</a>.
+    </p>
+    <p>
     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.
+    </p>
   google_analytics_id: UA-112595762-2
   home_page_in_navbar: true