ProbLog is a Probabilistic Logic Programming Language for logic programs...
cplint is a suite of programs for reasoning with probabilistic logic pro...