Logic-based Program Synthesis and Transformation | lit.salon