A new Lean4 Datalog DSL based on Google Zanzibar enables the representation and evaluation of knowledge bases in AI projects. This development improves the management and scalability of AI projects.
