इसका टेक्स्ट मैसेज भेजे : Logic program synthesis and transformation-- Meta-programming in Logic :