Email Record: Logic Program Synthesis and Transformation - Meta-Programming in Logic :