Special issue on inductive logic programming