Язык программирования Пролог: Пер. с англ. - Стобо Джон (Радио и связь, 1993)