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