prolog-reasoner
SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.
AI 智能体
0 个平台
0 项功能
安装
uvx prolog-reasoner
把上面的配置写入 MCP 客户端的配置文件（Claude Desktop 为 claude_desktop_config.json），重启客户端后生效。
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
],
"env": {
"PROLOG_REASONER_LLM_MODEL": "<PROLOG_REASONER_LLM_MODEL>",
"PROLOG_REASONER_LOG_LEVEL": "<PROLOG_REASONER_LOG_LEVEL>",
"PROLOG_REASONER_SWIPL_PATH": "<PROLOG_REASONER_SWIPL_PATH>",
"PROLOG_REASONER_LLM_API_KEY": "<PROLOG_REASONER_LLM_API_KEY>",
"PROLOG_REASONER_LLM_PROVIDER": "<PROLOG_REASONER_LLM_PROVIDER>",
"PROLOG_REASONER_LLM_TEMPERATURE": "<PROLOG_REASONER_LLM_TEMPERATURE>",
"PROLOG_REASONER_LLM_TIMEOUT_SECONDS": "<PROLOG_REASONER_LLM_TIMEOUT_SECONDS>",
"PROLOG_REASONER_EXECUTION_TIMEOUT_SECONDS": "<PROLOG_REASONER_EXECUTION_TIMEOUT_SECONDS>"
}
}
}
}把上面的配置写入 MCP 客户端的配置文件（Claude Desktop 为 claude_desktop_config.json），重启客户端后生效。
数据来源：公开的 MCP Server 目录。本站为独立第三方目录，与各 MCP Server 维护方均无隶属或背书关系；名称与简介如实标注，介绍文案由本站再加工。
