Название: Аппаратно-программные средства процессоров логического вывода
Автор: Вишняков В.А., Буланже Д.Ю., Герман О.В.
Год издания: 1991
Страниц: 264
Формат: pdf
Размер: 11,08 MB
Описание: В книге рассмотрены теоретические аспекты построения аппаратно-программных средств процессоров, поддерживающих механизмы логического вывода в версиях языка Пролог. Описана архитектура и система команд процессоров логического вывода (ПЛВ), механизмы компиляции Пролог-программ, указаны подходы к моделированию систем логического вывода.