"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning" - читать интересную книгу автора (Marcello Balduccini, Tran Cao Son)