Logic Based Program Synthesis And Transformation: 24Th International Symposium, Lopstr 2014, Canterbury, Uk, September 9 11, 2014. Revised Selected Papers 2015