Logic Program Synthesis from Incomplete Information - Pierre Flener