Agent Memory as a Deductive Database
Jordy Zomer's Lemmalog treats LLM agent memory as a Datalog deductive database rather than a vector store: facts carry provenance, conclusions retract when their premises are invalidated, and incremental evaluation keeps per-query cost constant regardless of history length — yielding 45x token savings on LongMemEval.
Read more →