Логическое программирование : Учеб. пособие для использования в вузахПантелеев, Евгений Рафаилович200079 с.