See also problog : https://dtai.cs.kuleuven.be/problog/

ProbLog2 is our second generation engine to reason with the ProbLog language. The current engine builds on logic programming, knowledge compilation, the distribution semantics and probabilistic, graphical models. It allows you to:

- Compute marginal probabilities of any number of ground atoms in the presence of evidence.

- Learn the parameters of the ProbLog program from partial interpretations.

-Sample from a ProbLog program.

-Solve decision theoretic problems