Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.