Inductive logic programming at 30