Логическое программирование и базы данных: Пер. с англ. - Чери Стефано (Мир, 1992)