LOPSTR 2000 Tenth International Workshop on Logic-based Program Synthesis and Transformation