That's not going to work. Garbage in - Garbage out is success-set equivalent to Garbage in - Prolog out.
Garbage is garbage and failure to reason is failure to reason no matter the language. If your LLM can't translate your problem to a Prolog program that solves your problem- Prolog can't solve your problem.
This is a shallow critique that does not engage with the core idea. Specifying the problem is not the same as solving the problem.
loading story #41874902
Agree, reasoning has to come from within the model. These are hacks that only work in specific use cases