Аппаратно-программные средства процессоров логического вывода
Автор:Вишняков В. А., Буланже Д. Ю., Герман О. В. Год: 1991 Издание:Радио и связь Страниц: 264 ISBN: 5256006061 Рассмотрены теоретические аспекты построения аппаратно-программных средств процессоров, поддерживающих механизмы логического вывода в версиях языка Пролог. Описаны архитектура и системы команд процессоров логического вывода (ПЛВ), механизмы компиляции Пролог-программ и организации скомпилированных программ. Указаны подходы к моделированию систем логического вывода. Даны решения по выполнению специализированных компонентов ПЛВ в виде СБИС. Подробно рассмотрены вопросы построения программно-аппаратных эмуляторов Пролог-машины на основе существующих персональных ЭВМ, технологии микропрограммирования ПЛВ, а также программно- аппаратные средства отладки Пролог-процессоров. Приведены модели и методы логического вывода, а также схемы параллелизма в логических программах и подходы к эффективному представлению системных структур данных в Прологе. Для научных работников; может быть рекомендована инженерам.
