"Logic Programming Synthesis and Transformation, 8 conf., LOPSTR'98" - читать интересную книгу автора (Pierre Flener)