"Принципы логики и логического программирования" - читать интересную книгу автора (Метакидес Г., Нероуд А.)