Popular repositories Loading

1. simply-logical simply-logical Public

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

   Prolog 122 22

2. programs programs Public

   Prolog programs from the Simply Logical book

   Prolog 6 1

3. simply-logical-too simply-logical-too Public archive

   Development repository of planned second edition of the book.

   HTML 3

4. problog-book-template problog-book-template Public

   A Jupyter Book template for interactive ProbLog documents

   Jupyter Notebook 3 1

5. beta beta Public

   Simply Logical slides derived directly from the book content

   HTML 1

6. sphinx-prolog sphinx-prolog Public

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

   Python 1