Алгоритмы искусственного интеллекта на языке PROLOG, 3-е издание (файл PDF)
И. Братко