Logic Program Synthesis and Transformation by John Gallagher | Lex | Lex