I am once again shilling the idea that someone should find a way to glue Prolog and LLMs together for better reasoning agents.https://news.ycombinator.com/context?id=43948657Thesis:1. LLMs are bad at counting the number of r's in strawberry.2. LLMs are good at writing code that c