Prolog Reasoner
Synced ยท awaiting checkSWI-Prolog as a logic calculator for LLMs
Install
claude mcp add prolog-reasoner -- uvx prolog-reasoner
Our take
Not yet reviewed. This entry is synced and verified automatically but hasn't had an editorial pass yet. The data above is real; the judgment is yours for now.
Verification record
- 2026-04-17