Open-source NL logic interpreter unifies facts with Jev, queries cost a quarter cent
narphorium · x · 2026-09-20
Developer open-sourced nl-logic-interpreter, a step-through logic interpreter for facts and rules written in plain English. It proves goals via SLD resolution like Prolog, but unification is done by Jev (TypeSafe's System One model), so sentences match by meaning regardless of wording — e.g. "X is the father of Y" unifies with "Lisa's dad is Homer".
- Pipeline: Claude Haiku first converts a question into a logic query, then Jev executes it
- Cost/speed: a query with 100 Jev calls took 8.5 seconds, roughly a quarter of a cent
- Works without Jev early access against a local Jev-compatible server; repo includes setup instructions
Related event: Open-Source NL Logic Interpreter Runs 100 Calls for a Quarter Cent(2 posts)→
More from coding & agent
- Dev picks C for new engine: not for AI, but full control and universal bindings — gdechichi · 2026-09-20
- Dev take: AI's million-lines-a-day code is slop, public perception lags — BLUECOW009 · 2026-09-20
- chatpipe-mcp Lets AI Coding Agents Publish Live Pages With Shareable URLs — modelcontextprotocol · 2026-09-20
- Agentic Web talk: generations already replace Chrome with AI assistants — EdenEmarco177 · 2026-09-20
- A Mac drawing app added an MCP server to test its tools—and it became the killer feature — DrawSimple_for_MacOS · 2026-09-20
- Hugo Bowne offers free 30-minute Lightning Lesson on AI agent evals — hugobowne · 2026-09-20