Ebook Logic Program Synthesis And Transformation Meta Programming In Logic 4Th International Workshops Lopstr 94 And Meta 94 Pisa Italy June 2021 1994 Proceedings 1994