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