А вот попался курс Основы матем.логики и логического программирования В.А.Захарова.Новые понятия
Пробежал глазами. Пролог прологом, по-моему.
Интересно, используют это только как теоретический взгляд или находит применение в конкретных задачах?
Пролог — находит применение. Не знаю конкретно насчёт Хорна/Захарова, но, вообще говоря, Пролог отнюдь не одинок в группе языков логического вывода. Попробуйте погуглить системы продукций. Из конкретных названий Guru, хотя там вообще чорт ногу сломит, по-моему — как я понимаю, попытка совокупить логическое программирование с требованиями жизни: как правило, у нас нет в запасе вечности... Ещё, по-моему, Glaukoma. Больше не вспомню, но их должно быть немало.
