prolog-reasoner

概要

LLM の言語能力と Prolog の論理推論を MCP サーバー経由で結ぶプロジェクト。LLM が Prolog を記述し、Prolog が解くことで解答が正しくデバッグ可能な形で返ってくる。

特長

• Prolog を使った論理推論を LLM に組み込み
• 30問の検証で73% → 90% の精度向上
• 制約充足と多段階推論で推測の弱点を補完
• ルールベースで再利用可能なドメインロジックを保存
• オープンソース（MIT）

使い方とエコシステム

Claude Desktop / Code / Cursor など MCP 対応環境で動作。設定は5行を追加するだけ。GitHub にコードあり。活用例として経費承認ルールやコンプライアンスチェックのようなドメイン特有のロジックを保存可能。