The idea for declarative languages that generate a program from a regular formula have been around for a long time. With these new language models, taking in ambiguous and sloppily formed ideas and generating programs from them appears to be the new thing. In any case, it's up to the programmer to identify and fit the resulting program into the problem he's trying to solve.