problog
Interactive ProbLog code boxes for Sphinx and Jupyter Book.
MDP-ProbLog is a framework to represent and solve (infinite-horizon) MDPs specified by probabilistic logic programming.
