This is kinda what logic programming is, like in prolog. You tell the computer what you want, and it finds the answer for you.

TDD is where you both write what you want, and you do the implementation also.