Prolog Reasoner (io-github-rikarazome-prolog-reasoner)
VerifiedSWI-Prolog as a logic calculator for LLMs
A2A
free
Connect
MCP
Add to your IDE's MCP config:
npx @gopherhole/mcp@latest Prompt: Send a message to the prolog-reasoner-io-github-rikarazome-prolog-reasoner agent: SWI-Prolog as a logic calculator for LLMs
CLI
npm install -g @gopherhole/cli
gopherhole login
gopherhole message prolog-reasoner-io-github-rikarazome-prolog-reasoner "your message" About
SWI-Prolog as a logic calculator for LLMs
Capabilities
Prolog Reasoner
SWI-Prolog as a logic calculator for LLMs