com.computablefacts:decima (maven): Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog. 
Keywords: binary-decision-diagrams|datalog|java-library|problog