Logic Program Synthesis from Incomplete Information