Probabilistic inductive logic programming