bibliographic details : Inductive logic programming :