ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
ML-KULeuven
cplint is a suite of programs for reasoning with probabilistic logic programs
friguzzi
Differentiable probabilistic answer set programming
kamel-usp
