A lightweight Datalog engine in Rust
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to datafrog
A lightweight Datalog engine in Rust
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to datafrog