>>Humans writing the test first and LLM writing the code is much better than the reverse. Isn't that logic programming/Prolog? You basically write the sequenc

>>Humans writing the test first and LLM writing the code is much better than the reverse. Isn't that logic programming/Prolog? You basically write the sequence of conditions(i.e tests in our lingo) that have to be true, and the compiler(now AI) generates code for your. Perhaps there has to be a relook on how Logic programming can be done in the modern era to make this more seamless.