В. Н. Захаров ,   В. Н. Вагин Справочник "Искусственный интеллект". Книга 3: "Программные и аппаратные средства". Москва: "Радио и связь" , 01.1990 , с. 312-321, язык: русский  Аннотация Пролог—язык высокого уровня, основанный на математической логике. Главной его особенностью является наличие нескольких равноправных семантик для его текстов. Текст на Прологе может трактоваться как декларативное описание некоторых закономерностей и как описание некоторых процедур. Спецпроцессоры, использующие язык Пролог, или Пролог-машины, ориентируются на решение задач, связанных с логическим выводом, что позволяет надеяться на решение задач дедукции практической сложности (правда, для ограниченного языка исчисления предикатов первого порядка — хорновских дизъюнктов). Дан обзор архитектуры существующих Пролог-машин.  Ключевые слова Спецпроцессоры, Машина вывода, Пролог-машина

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад