meob

Euclid-MCP

将事实转为形式化证明，支持基于 Prolog 的确定性逻辑推理。