Comment by sgdfhijfgsdfgds

This is magical thinking. If an LLM can’t reason it isn’t going to be able to express itself clearly in Prolog.

Suggesting otherwise is intellectually on the same level as trying to make up a small consistent per-sale loss with volume.