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