We need more.

In case you weren't aware, people are using Prolog with LLMs;

https://news.ycombinator.com/item?id=42039527

https://news.ycombinator.com/item?id=45712934