Intelligent Reasoning by Example https://simply-logical.space We just published a short paper describing how “Simply Logical – Intelligent Reasoning by Example (Fully Interactive Online Edition)” came to be. Thu, 22 Sep 2022 00:00:00 +0100 https://simply-logical.space/blog/2022-09-22-arxiv/ https://simply-logical.space/blog/2022-09-22-arxiv/ We’re happy to announce a stable release of Simply Logical v2.0! This version is based on the Jupyter Book platform extended with our bespoke sphinx-prolog plugin. Head to https://book.simply-logical.space/ for a new Prolog learning experience. Wed, 15 Jun 2022 00:00:00 +0100 https://simply-logical.space/blog/2022-06-15-simply-logical-v2.0/ https://simply-logical.space/blog/2022-06-15-simply-logical-v2.0/ With the release of the new sphinx-prolog extension for the Jupyter Book platform we are working on a brand new version of the Simply Logical textbook. You can preview our work-in-progress release at https://too.simply-logical.space/. Feel free to get in touch with any feedback or comments you may have. In the... Mon, 28 Jun 2021 00:00:00 +0100 https://simply-logical.space/blog/2021-06-28-simply-logical-2-preview/ https://simply-logical.space/blog/2021-06-28-simply-logical-2-preview/ We have just released a brand new extension for Jupyter Book that allows to auto-magically create native, interactive ProbLog code boxes using a simple (MyST) Markdown syntax. The extension source code is hosted on GitHub, in the simply-logical/sphinx-problog repository. To insert a simple interactive code box, it’s enough to list... Sun, 27 Jun 2021 00:00:00 +0100 https://simply-logical.space/blog/2021-06-27-problog/ https://simply-logical.space/blog/2021-06-27-problog/ With the release of our new SWISH extension for Jupyter Book – sphinx-prolog described here – in addition to creating content infused with interactive SWI Prolog code boxes, you can also author interactive cplint code blocks. To help you get started with your executable Jupyter Book infused with interactive cplint... Mon, 22 Feb 2021 00:00:00 +0000 https://simply-logical.space/blog/2021-02-22-cplint/ https://simply-logical.space/blog/2021-02-22-cplint/ We have just released a brand new extension for Jupyter Book that allows to auto-magically insert interactive SWI Prolog code boxes via SWISH using a simple (MyST) Markdown syntax. The extension source code is hosted on GitHub, in the simply-logical/sphinx-prolog repository. To insert a simple interactive code box, it’s enough... Sun, 21 Feb 2021 00:00:00 +0000 https://simply-logical.space/blog/2021-02-21-jupyter-book/ https://simply-logical.space/blog/2021-02-21-jupyter-book/ Our book is featured as one of the online Prolog learning resources in the newest publication: Using SWISH to realise interactive web based tutorials for logic based languages, by Jan Wielemaker, et al. In section 3 pages 8 and 9) it names Simply Logical and Lear Prolog Now! as two... Fri, 20 Apr 2018 00:00:00 +0100 https://simply-logical.space/blog/2018-04-20-SWISH-prolog-education/ https://simply-logical.space/blog/2018-04-20-SWISH-prolog-education/ Are you an undergraduate student in the Faculty of Engineering at the University of Bristol? Are you interested in Artificial Intelligence, Logic Programming and Web Development? Then apply for the University of Bristol, Faculty of Engineering summer internship scheme! Work with Simply Logical over the summer The aim of this... Fri, 09 Mar 2018 00:00:00 +0000 https://simply-logical.space/blog/2018-03-09-UoB-faculty-internship/ https://simply-logical.space/blog/2018-03-09-UoB-faculty-internship/ Unfortunately, our GSoC 2018 application was unsuccessful but we don’t give up. Our projects list is available here, if you would like to get involved outside of GSoC. Mon, 12 Feb 2018 00:00:00 +0000 https://simply-logical.space/blog/2018-02-12-GSoC-outcome/ https://simply-logical.space/blog/2018-02-12-GSoC-outcome/ This year we are applying to Google Summer of Code to invite students from around the world to help us with development. Our projects list is available here. We will let you know the outcome as soon as it’s in. Our goals Our projects aim to enhance online educational resources... Fri, 19 Jan 2018 00:00:00 +0000 https://simply-logical.space/blog/2018-01-19-GSoC-2018-projects/ https://simply-logical.space/blog/2018-01-19-GSoC-2018-projects/ We’ve just starter transferring all of our resources to our GitHub organisation. You can find there source code for this website and Simply Logical textbook, among others. We also use GitHub Pages to host our websites. Wed, 17 Jan 2018 00:00:00 +0000 https://simply-logical.space/blog/2018-01-17-github-hosting/ https://simply-logical.space/blog/2018-01-17-github-hosting/ Interactive Simply Logical textbook used to teach undergraduate course - This term our interactive Simply Logical textbook is being used to teach 3rd year undergraduate unit on Artificial Intelligence and Logic Programming at the University of Bristol. If you’re using any of our materials and would like to be featured on our blog let us know! Mon, 23 Jan 2017 00:00:00 +0000 https://simply-logical.space/blog/2017-01-23-the-book-in-use/ https://simply-logical.space/blog/2017-01-23-the-book-in-use/ simply-logical.space - We just got our very own domain: Simply-Logical.space. We will use it to collect a number of educational materials on Artificial Intelligence and Logic Programming with Prolog under umbrella name: Simply Logical. If you would like to contribute something, look no further than here. Thu, 29 Dec 2016 00:00:00 +0000 https://simply-logical.space/blog/2016-12-29-new-domain/ https://simply-logical.space/blog/2016-12-29-new-domain/ Online edition of “Simply Logical: Intelligent Reasoning by Example” is live. Furthermore, you don’t have to install SWI-Prolog locally on your machine to enjoy the code examples. The online edition has been enhanced with interactive Prolog code blocks, based on SWISH, so you can execute them directly in your web... Wed, 14 Oct 2015 00:00:00 +0100 https://simply-logical.space/blog/2015-10-14-simply-logical-online/ https://simply-logical.space/blog/2015-10-14-simply-logical-online/ Our organisation just got a brand new website. Feel free to look around and remember to let us know if there is something that we can do better. Hope you enjoy it. Sat, 01 Aug 2015 00:00:00 +0100 https://simply-logical.space/blog/2015-08-01-new-website/ https://simply-logical.space/blog/2015-08-01-new-website/