Datalog

A security researcher has developed a Datalog engine for LLM agents to maintain knowledge during vulnerability research, addressing the problem of models losing track of established facts. The system …

A new open-source Lean 4 Datalog DSL called ZIL, inspired by Google's Zanzibar authorization system, allows developers to model relationships between code, requirements, tests, and tasks using compact…

PlatypusDB, an agent-native bitemporal event database built by WunderOS, uses a Gleam (OTP) control plane over a Zig data plane to provide crisp and fuzzy recall, provable provenance, and deterministi…