Эта идея, насколько мне известно, не новаИ работы в этом направлении проводились. С несколько более глобальной идеей столкнулся в книге "Концептуальное программирование", автор Тыугу Э.Х. - 1980-х годов:

Формируется база фактов из некоторой предметной области (спец-м теоретиком), в терминах этой области  (и базы) прикладной специалист (инженер) формулирует условия задачи. "Компиляция" заключается в автоматическом выводе программы-решения. Были, кажется, и языки программирования специальные разработаны.