A developer has introduced Lemmalog, a Datalog engine that improves LLM agent memory by treating knowledge as program analysis state with support for provenance, retractions, and incremental evaluation. The system's performance was recently validated through benchmarking on the LongMemEval and LoCoMo datasets.