Без заголовка

Это по сути реализация "пятого поколения ЭВМ", но не полностью практически провалившемуся подходу "условного минского" -- ничего не копируй и "мынашмыновый", а практически реализованный именно через копирование имеющейся системы по наблюдению её истории в соответствии с Такенсом. То есть "декларативное программирование"-- "компилятор спецификаций" если угодно.