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