Simply Logical

Simply Logical's repositories

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

Language:PrologNOASSERTION108 11 12

Prolog programs from the Simply Logical book

Language:PrologAGPL-3.06 4 3

A Jupyter Book template for interactive ProbLog documents

Language:Jupyter NotebookBSD-3-Clause3 4 1

Development repository of planned second edition of the book.

Language:HTMLNOASSERTION3 40

Simply Logical slides derived directly from the book content

Language:HTML1 40

Language:PrologBSD-3-Clause100

A Jupyter Book template for interactive cplint documents

Language:CSSBSD-3-Clause040

A community dedicated to supporting tools for technical and scientific communication and interactive computing

000

Lab exercises for Simply Logical book

Language:HTMLAGPL-3.0040

A Jupyter Book template for interactive Prolog documents

Language:PrologBSD-3-Clause040

Simply Logical home page

Language:HTMLMIT020

Slides for Simply Logical book

NOASSERTION03 2

Interactive ProbLog code boxes for Sphinx and Jupyter Book.

Language:JavaScriptBSD-3-Clause020

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

Language:PythonBSD-3-Clause04 4