"Искусство программирования на языке Пролог" - читать интересную книгу автора (Стерлинг Л., Шапиро Е.(Sterling,Shapiro))