Interactive ProbLog code boxes for Sphinx and Jupyter Book.
A probabilistic logic programming framework to represent and solve MDPs.