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