simply-logical / prolog-book-template

A Jupyter Book template for interactive Prolog documents

Interactive Prolog Book Example

This repository holds a Jupyter Book template for building interactive Prolog books using SWI Prolog and SWISH. The Prolog support is enabled with our custom sphinx-prolog extension. The built book is hosted on GitHub Pages and is available under https://book-template.simply-logical.space. This webpage describes the process of building interactive Prolog content with the aforementioned technology stack.

Building the book

1. Pull the book repository

   git clone https://github.com/simply-logical/prolog-book-template.git
   
   cd prolog-book-template

2. Install Jupyter Book with the sphinx-prolog extension

   pip install -r requirements.txt

3. Build the book

   jb build .

4. Open the html build

   open _build/html/index.html

   or run it as a server

   python -m http.server --directory _build/html
   open http://localhost:8000