GitHub - jagg-ix/zil-lean: ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain - jagg-ix/zil-lean

18 points by kbradero 85 days ago github.com 2 comments

Summary

A new Domain-Specific Language (DSL) for Lean4 allows developers to create and manage knowledge bases inspired by Google Zanzibar’s datalog capabilities. This tool enables users to efficiently build, store, and improve their projects without relying on heavy infrastructure.

Comments (2 of ) ⌛

Loading more comments... ⌛

Scroll down to load more comments

No comments available.