Keywords – inductive logic programming