On this week's AI board

Lemmalog: a Datalog engine as an agent's memory

Rust crate, MCP server and REPL that hold LLM agent memory as stratified Datalog with provenance, proof trees and incremental derivation.