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