"Logic Programming: Operational Semantics and Proof Theory " - читать интересную книгу автора (James H. Andrews)