You mean logic programming? https://en.wikipedia.org/wiki/Logic_programming

Its been around for decades. In fact this was the first approach to doing AI.

In logic programming you basically write concrete set of test cases and the compiler generates the code for which the test cases hold 'true'.

In other words you get a language to 'precisely and unambiguously describe a program', as you said. Compiler writes the code for you.