Blog

We just published a short paper describing how “Simply Logical – Intelligent Reasoning by Example (Fully Interactive Online Edition)” came to be.

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.

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... [Read More]

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. [Read More]

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. [Read More]