Logic Program Synthesis And Transformation door J. Gallagher