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サーバーカタログ。当サイトは独立した第三者ディレクトリであり、各MCPサーバーの提供元との提携や推奨関係はありません。
