LLM

11 tools reviewed

7.8
lemmalog Review 2026 — A Datalog Engine for LLM Agent Memory: Provenance-Tracked Facts, Incremental Derivation, and an MCP Server

lemmalog is a Datalog engine for LLM agent memory — stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets Claude Code or Kimi CLI use it as a shared brain. The thesis: an agent's memory should be a deductive database, not a better vector store. Base facts are asserted at the LLM extraction boundary, rules derive closures and temporal projections, every fact carries provenance back to its source episode, and each conversation turn updates derived views incrementally. It shipped August 27, 2026 with 230+ GitHub stars, a differential-testing harness (450 random programs against a naive fixpoint oracle), and a design document that cites LongMemEval's 21-30% frontier-model drop on knowledge updates as the problem it exists to solve.