problog (pypi): ProbLog2: Probabilistic Logic Programming toolbox
Keywords: prolog|probabilistic|logic