The closest paradigm to what I was trying to imply are more general purpose declarative languages. Something like sql or rich logic libraries that let the developer describe the desired result rather than the 'how.' Now advance this by 100 years, and I would hope anyone can program arbitrarily complex things by using graphical/natural-language tools to specify constraints, and then the 'program' arbitrarily generates the lower-level code.

So the future is Prolog?

It may be from the early 1970s, but compared to the mainstream programming languages of today, it still look pretty futuristic to me.

Aren't most things from the 70s? Did we get any serious new language tech since then? Tooling got nicer, runtimes faster - but the language breakthroughs?