Аппаратно-программные средства процессоров логического вывода
Вишняков В.А., Буланже Д.Ю., Герман О.В.
В книге рассмотрены теоретические аспекты построения аппаратно-программных средств процессоров, поддерживающих механизмы логического вывода в версиях языка Пролог. Описана архитектура и система команд процессоров логического вывода (ПЛВ), механизмы компиляции Пролог-программ, указаны подходы к моделированию систем логического вывода.
年:
1991
出版社:
Радио и связь
语言:
russian
ISBN 10:
5256006061
ISBN 13:
9785256006068
文件:
PDF, 11.16 MB
IPFS:
,
russian, 1991