Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings - Turini, Franco, 1949-; Fribourg, Laurent, 1957- (Lecture notes in computer science ;, 1994)