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