Interesting paper about using Prolog and LLMs, and interesting discussion at Hacker News: Use Prolog to improve LLM's reasoning | Hacker News
Yes, there seems to be (understandably) quite a bit interest in the topic. Also, the many papers on LP+LLMs in this year’s ICLP, that we are just getting back from.