Գրեք սա: Inductive logic programming