Пролог - язык программирования будущего: Пер. с англ. - Доорс Джим (Финансы и статистика, 1990)