FULL STORY
nl-logic-interpreter: English-Logic Reasoning for LLMs
A developer built an English-written logic language and proof-search interpreter to give LLMs real reasoning, then open-sourced it as nl-logic-interpreter with step debugging at roughly a quarter-cent per hundred calls.
2026-09-19 ~ 2026-09-20 · 2 episodes · 4 posts
Episode 1 · Developer builds logic interpreter to give LLM reasoning (2026-09-19, 2 posts)
A developer built a reasoning interpreter for an LLM, defining a logic language with English facts and rules that runs standard proof search; the interpreter queries the model on whether statements match, and the model answers with probabilities.
- Dev builds an interpreter for an English logic language so an LLM can reason via proof search — narphorium · 2026-09-19
- How it works: the interpreter asks the LLM to match facts and rules, returning probabilities — narphorium · 2026-09-19
Episode 2 · Open-Source NL Logic Interpreter Runs 100 Calls for a Quarter Cent (2026-09-19, 2 posts)
A developer open-sourced a step-debuggable natural language logic interpreter using SLD resolution like Prolog. A test run made 100 Jev calls in 8.5 seconds, costing only about a quarter of a US cent.
- Cost breakdown: 100 LLM calls in 8.5 seconds for roughly a quarter of a cent — narphorium · 2026-09-19
- Open-source NL logic interpreter unifies facts with Jev, queries cost a quarter cent — narphorium · 2026-09-20