@folcon Closest anyone has gotten in a clj/edn datalog version of what you're asking is clj-3df: https://github.com/sixthnormal/clj-3df It's implemented in Rust with the timely dataflow library (referenced in the differential dataflow post/paper), but comes with clj(s) integration. It hasn't been actively maintained/developed though, unfortunately.