LOPSTR 2017: International Symposium on Logic-Based Program Synthesis and Transformation 2017