Skip to content
mcp/harbor
LangChain

Prolog Reasoner for LangChain

io.github.rikarazome/prolog-reasoner

SWI-Prolog as a logic calculator for LLMs

client:LangChain transport:stdio runtime:pypi

Install Prolog Reasoner in LangChain

pip install langchain-mcp-adapters 

from langchain_mcp_adapters.client import MultiServerMCPClient

client = MultiServerMCPClient({
        "prolog-reasoner": {
            "transport": "stdio",
            "command": "uvx",
            "args": ["prolog-reasoner"],
        }
})

tools = await client.get_tools()

get_tools() returns the server's tools as LangChain tools, ready for an agent. LangChain docs

Prolog Reasoner in other clients

Prolog Reasoner MCP server