"Logic Programming Synthesis and Transformation, 6 conf., LOPSTR'96" - читать интересную книгу автора (John Gallagher)