"Describing what your program should do in sufficient detail will probably end up being not very far from the actual program itself." Isn't that the idea behin

"Describing what your program should do in sufficient detail will probably end up being not very far from the actual program itself." Isn't that the idea behind https://en.wikipedia.org/wiki/Prolog https://en.wikipedia.org/wiki/Prolog ?