Logic-Based Program Synthesis and Transformation (Springer Berlin Heidelberg, 2020)