Аппаратно-программные средства процессоров логического вывода О. В. Герман, В. А. Вишняков, Д. Ю. Буланже

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