prolog-reasoner
本地SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
安装配置
{
"mcpServers": {
"prolog-reasoner": {
"command": "npx",
"args": [
"prolog-reasoner"
]
}
}
}
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
{
"mcpServers": {
"prolog-reasoner": {
"command": "npx",
"args": [
"prolog-reasoner"
]
}
}
}