ZIL - Relational knowledge language for Lean 4 and AI projects
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
ZIL ist eine relationale Wissenssprache, die in Lean 4 implementiert ist und ein kompaktes Modell für Projektbeziehungen bietet. Inspiriert von Google Zanzibar ermöglicht es Entwicklern, Verbindungen zwischen Code, Anforderungen, Tests und Dokumentationen präzise zu definieren und zu verwalten. Durch Datalog-ähnliche Regeln leitet ZIL komplexe Abhängigkeiten und Auswirkungen von Änderungen automatisch ab. Dies schafft eine gemeinsame Wissensbasis für Entwickler, CI-Systeme und KI-Assistenten, um die Projekttransparenz und Wartbarkeit signifikant zu erhöhen.
ZIL speichert ausgewählte Projektfakten direkt mit dem Quellcode, sodass Entwickler, Review-Tools und KI-Assistenten dieselbe konsistente Projektlandschaft nutzen können.