"Программирование на языке ПРОЛОГ для искуственного интеллекта" - читать интересную книгу автора (Братко И.)