Книжный марафон

Цитаты из книги «Аппаратно-программные средства процессоров логического вывода»

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

Прямой эфир

Рецензия недели

Ритуал

«Ритуал» Адам Нэвилл

Четверо английских хорошо упитанных мужчин в самом расцвете сил отправились в турпоход по местам боевой славы шведско-норвежских троллей. Так как двое из них были выше средней упитанности и... Читать далее

Lemonstra Lemonstra3 дня 27 минут назад

Все рецензии

Реклама на проекте

Поддержка проекта BookMix.ru

Что это такое?