Describir: Inductive logic programming