Text this: Inductive logic programming :