I wonder if you could make a frankenstein version of differential datalog by combing the OP repo with salsa[1] (the crate that powers rust-analyzer) [1] https:

I wonder if you could make a frankenstein version of differential datalog by combing the OP repo with salsa[1] (the crate that powers rust-analyzer) [1] https://github.com/salsa-rs/salsa https://github.com/salsa-rs/salsa