io.github.rikarazome/prolog-reasonerai

Prolog Reasoner

Synced ยท awaiting check

SWI-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.

Something wrong or dead here? Report it

Verification record

in registry since
2026-04-17

github.com/rikarazome/prolog-reasoner