Язык пролог в пятом поколении ЭВМ Сб. ст. : Пер. с англ. (Мир, 1988)