Serap Yilmaz Inductive Synthesis of Recursive Logic Programs 1997 University of Bilkent, Computer Science Department