"Logic for problem solving" - читать интересную книгу автора (Robert Kowalski )