Logic Based Program Synthesis & Transformation | lit.salon