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

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