Flener, Pierre: Logic Program Synthesis from Incomplete Information