Email Record: Logic program synthesis and transformation, Meta-programming in Logic :