Program Induction without Queries