I consider that a dubious statement. Prolog inference is logically correct (within its limitations). With LLMs you never know. It is like asking an LLM to do arithmetic. For simple problems this actually works, for more complicated expressions it is between a little wrong and really very wrong. What an LLM can do is translate an NLP problem into an arithmetic expression and use a calculator. In the same sense, an LLM can generate a Prolog program. Actually, people are doing that 