Logic Program Synthesis and Transformation - Meta-Programming in LogicLaurent Fribourg, Franco Turini₹5,606