"Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97" - читать интересную книгу автора (Norbert E. Fuchs)