There's also [1], containing further bibliography references along with practical applications in discrete planning. Prolog is quite popular and successful as

There's also [1], containing further bibliography references along with practical applications in discrete planning. Prolog is quite popular and successful as a target for LLMs. And it's no accident considering Prolog was introduced to represent natural language statements in (predicate) logic. [1]: https://quantumprolog.sgml.net/llm-demo/part1.html https://quantumprolog.sgml.net/llm-demo/part1.html