"Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94" - читать интересную книгу автора (Laurent Fribourg, Franco Turini)