Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. - Братко, И. Иван (Мир, 1990)