Interactive Prolog Book Example

Interactive Prolog Book Example

GitHub
Jupyter Book
sphinx-prolog Extension
Simply Logical Organisation
GitHub Template

repository
open issue

Index

By Kacper Sokol, University of Bristol, United Kingdom
© Copyright 2021.

This book is a template for building interactive Prolog books using SWI Prolog and SWISH. The book is based on Jupyter Book, and the Prolog support is enabled with our custom sphinx-prolog extension. The source of this book is available on GitHub.