PRISM and ProbLog are two prominent languages for Probabilistic Logic Programming. While they are superficially very similar, there are subtle differences between them that lead to different formulations of the
same probabilistic model.
This paper aims to shed more light on the differences by developing two source-to-source transformations, from PRISM to ProbLog and back.status: publishe