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