"Изучение логического программирования на примере задач искусственного интеллекта" - читать интересную книгу автора (Соловьев И.П.)