专题 · FULL STORY

nl-logic-interpreter：给 LLM 装上英文逻辑推理引擎

一位开发者认为其使用的 LLM 本身不会推理，于是构建了以自然英文书写事实与规则的逻辑语言及推理解释器，随后将其开源为 nl-logic-interpreter，支持单步调试的 Prolog 式证明搜索，实测百次调用成本仅约四分之一美分。

2026-09-19 ~ 2026-09-20 · 2 集 · 4 条

第 1 集 · 开发者为 LLM 打造英文逻辑语言推理解释器(2026-09-19,2 条)

一位开发者认为其所用的 LLM「Jev」本身并不会推理，于是构建了一个「推理解释器」：一门事实与规则均以自然英文书写的逻辑语言，解释器在其上运行普通的证明搜索来完成推理。细节上，解释器在匹配目标与事实或规则时会向模型提问，例如「『Abe 是 Y 的父亲』与『Abe 是 Homer 的父亲』是否陈述同一事实」，模型则以概率形式作答。

第 2 集 · 开源自然语言逻辑解释器实测：百次调用成本约四分之一美分(2026-09-19,2 条)

作者开源了 nl-logic-interpreter，一个可单步调试的自然语言逻辑解释器，用英文书写事实与规则，通过类似 Prolog 的 SLD 归结证明目标，由 Jev 负责统一，Claude 做前置转换。实测显示，由于 Jev 不生成文本，作者先用 Claude Haiku 把问题转成逻辑查询，一次查询共调用 Jev 100 次，耗时 8.5 秒，成本仅约 0.25 美分，展示了该方案的低成本与可行性。