Text this: Logic Program Synthesis and Transformation