Logic Program Synthesis from Incomplete Information door Pierre Fiener