Funtional Inductive Logic Programming with Queries to the User