Title: Logic Based Program Synthesis and Transformation