"Пролог - язык программирования будущего" - читать интересную книгу автора (Доорс Дж., Рейблейн А.Р., Вадера...)