An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming
problog : a probabilistic prolog and its application in link discovery .