-N.E. Fuchs (Ed.): Logic Program Synthesis and Transformation. Proceedings 1997, Springer-Verlag 1998