Stav dette: Inductive logic programming