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