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