Введение в логическое программирование - Хоггер К. Дж. Кристофер Джон (Москва, Мир, 1988)