A new open-source project named ZIL introduces a relational knowledge language and Datalog DSL designed specifically for AI applications. Implemented in Lean 4 and inspired by Google Zanzibar, the system features a Clojure runtime and toolchain to help developers structure complex data.