problog
A collection of Sphinx (and Jupyter Book) extensions for authoring interactive ProbLog code blocks.
MDP-ProbLog is a framework to represent and solve (infinite-horizon) MDPs specified by probabilistic logic programming.