Functional inductive logic programming with queries to the user