Back to directory
🤖

Prolog Reasoner (io-github-rikarazome-prolog-reasoner)

v0.2.1 Verified

SWI-Prolog as a logic calculator for LLMs

A2A other 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