将事实转为形式化证明，支持基于 Prolog 的确定性逻辑推理。
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
PostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths
