ZIL: 基于Lean 4的AI项目关系语言
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
ZIL是一款运行在Lean 4中的关系型知识语言，专为AI项目设计。它借鉴了Google Zanzibar的授权模型，将代码声明、需求文档、测试用例和任务依赖等要素编织成统一的知识图谱。通过Datalog风格的规则，ZIL能自动推导项目中的隐含关系，如变更影响范围或需求覆盖情况。无论是开发者、CI工具还是AI助手，都能查询同一份动态更新的地图，实现从代码到需求的精准追溯与智能协作。
ZIL将代码声明、需求、文档和测试编织成统一的知识图谱，让开发者、工具和AI助手能共享同一份动态更新的项目地图。