"Algebraic and Logic Programming" - читать интересную книгу автора (Helene Kirchner, Wolfgang Wechler)