Functional inductive logic programming with queries to the user

We present a system to induce logic programs from postive examples only. For every predicate P, the user is asked to provide a mode (input or output) for each of its arguments, and the system assumes that the mode corresponds to a total function, i.e., for a given input there is one and only one corresponding output that makes the predicate true. By means of queries, missing examples can be added to those given initially, and this makes the program complete and consistent w.r.t the examples.