←back to thread

Use Prolog to improve LLM's reasoning

(shchegrikovich.substack.com)
232 points shchegrikovich | 1 comments | 13 Oct 24 21:22 UTC | HN request time: 0.204s | source
1. nonamepcbrand1 ◴[17 Oct 24 20:51 UTC] No.41873658[source]▶
This is why GitHub CodeQL and Co-Pilot assistance is working better for everyone? basically codeql uses variant of Prolog (datalog) to query source code to generate better results.