Ebook 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