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