Popular repositories Loading

1. simply-logical simply-logical Public

   Online, interactive edition of the "Simply Logical" Prolog textbook

   Prolog 174 28

2. programs programs Public

   Prolog programs from the Simply Logical book

   Prolog 7 1

3. problog-book-template problog-book-template Public

   A Jupyter Book template for interactive ProbLog documents

   Jupyter Notebook 4 1

4. simply-logical-too simply-logical-too Public archive

   Development repository of planned second edition of the book.

   HTML 3

5. sphinx-prolog sphinx-prolog Public

   Sphinx (and Jupyter Book) extensions for the Simply Logical content

   Python 2

6. beta beta Public

   Simply Logical slides derived directly from the book content

   HTML 1