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