-J. Gallagher (Ed.): Logic Program Synthesis and Transformation. Proceeding 1996, Springer-Verlag 1997