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