Inductive logic programming using bounded hypothesis space