efficient inference and learning in a large knowledge base .
problog : a probabilistic prolog and its application in link discovery .