Logic-Based Program Synthesis And Transformation door Annalisa Bossi, International Workshop On Logic Program & Pierre Fiener