Runs SWI-Prolog as a logic calculator for LLMs, with CLP(FD), negation as failure and recursion; also a Python library.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add prolog-reasoner -- uvx prolog-reasoner~/.codex/config.toml
[mcp_servers.prolog-reasoner]
command = "uvx"
args = ["prolog-reasoner"]
# codex mcp add prolog-reasoner -- uvx prolog-reasoner~/.cursor/mcp.json
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}.vscode/mcp.json
{
"servers": {
"prolog-reasoner": {
"type": "stdio",
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}