Logic-Based Program Synthesis And Transformation door