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