simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook
Science Score: 67.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 3 DOI reference(s) in README -
✓Academic publication links
Links to: arxiv.org, wiley.com, zenodo.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (7.9%) to scientific vocabulary
Keywords
Repository
Online, interactive edition of the "Simply Logical" Prolog textbook
Basic Info
- Host: GitHub
- Owner: simply-logical
- License: other
- Language: Prolog
- Default Branch: master
- Homepage: https://book.simply-logical.space
- Size: 13.3 MB
Statistics
- Stars: 149
- Watchers: 9
- Forks: 23
- Open Issues: 3
- Releases: 3
Topics
Metadata Files
README.md
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 ```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/) extension
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
```
Owner
- Name: Simply Logical
- Login: simply-logical
- Kind: organization
- Location: Bristol, United Kingdom
- Website: https://simply-logical.space
- Repositories: 14
- Profile: https://github.com/simply-logical
A suite of online resources about Artificial Intelligence and Logic Programming.
Citation (CITATION.cff)
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 (Fully Interactive Online Edition)"
version: v2.0
doi: 10.5281/zenodo.1156977
date-released: 2022-08-03
url: "https://book.simply-logical.space/"
preferred-citation:
type: book
title: "Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)"
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"
year: 2022
GitHub Events
Total
- Issues event: 1
- Watch event: 29
- Issue comment event: 4
- Push event: 5
- Pull request event: 5
- Fork event: 1
- Create event: 1
Last Year
- Issues event: 1
- Watch event: 29
- Issue comment event: 4
- Push event: 5
- Pull request event: 5
- Fork event: 1
- Create event: 1
Dependencies
- jupyter-book ==0.13.0
- sphinx-prolog >=0.5
- JamesIves/github-pages-deploy-action 3.7.1 composite
- actions/checkout v2.3.1 composite
- actions/setup-python v1 composite
- actions/checkout v2 composite
- actions/upload-artifact v1 composite
- docker://openjournals/paperdraft latest composite
- openjournals/openjournals-draft-action master composite