Будут интересны результаты...
Согласен с Алексеем. Единственное что - т.к. различаю исполнителей, то называю программу для интеллектуального "инструкцией". А так да, уже зафиксировал и буду употреблять...

Насчёт суперкомпиляции помню... по Романенко (у Кауфмана).В то же время, как понял, на вход этой системы надо подать интерпретатор (в частности, ПРОЛОГА или языка УБД)?.. который же ж надо написать сначала... интеллектуально в общем случае?.. ну или функцию и её аргумент?.. а это разве декларативные модели предметки/задачи?..
Кстати, Мейер по-своему "системировал" интерпретацию и компиляцию... тоже понравилось...