Искусство программирования на языке пролог - Стерлинг Л., Шапиро Э. (Мир, 1990)