Αποστολή με SMS: Logic Based Program Synthesis and Transformation