How would you describe them?
ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4)
