Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds
problog : a probabilistic prolog and its application in link discovery .