RecodeX 重构消息，开发者基于Google Zanzibar在Lean4上实现Datalog DSL，用于AI项目的知识库构建与评估。