Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR .97, Leuven, Belgium, July 10.12, 1997 Proceedings - Norbert E. Fuchs ((Lecture Notes in Computer Science))