Buy Logic Program Synthesis And Transformation — Meta Programming In Logic: 4Th International Workshops, Lopstr \\\'94 And Meta \\\'94 Pisa, Italy, June 20–21, 1994 Proceedings 1994