Inference in Probabilistic Logic Programs using Weighted CNF's
problog : a probabilistic prolog and its application in link discovery .