Slightly off-topic but ProbLog[0] might interest you.

[0]: https://dtai.cs.kuleuven.be/problog/