Abductive inductive logic programming