-L. Fribourg/F. Turini (Eds.): Logic Program Synthesis and Transformation - Meta-Programming in Logic. Proceedings 1994, Springer-Verlag 1994