S shchegrikovich.substack.com Use Prolog to improve LLM's reasoning 379 points shchegrikovich 2 years ago 155 comments