Книга посвящена созданию системного программного обеспечения ЭВМ пятого поколения с использованием элементов искусственного интеллекта. Особое внимание уделено сопоставлению языков логического программирования Лисп, Пролог ...