ended7월 29일· 1 sources
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
Why it matters
ZIL is a small relational language for describing named objects, the relationships between them, and rules that derive additional relationships. A relation has three parts: subject ── relation ──▶ obj...
1
Sources
+0
24h
—
Growth
3d
Active