There's also a Datalog implementation at https://github.com/rust-lang/datafrog https://github.com/rust-lang/datafrog . The Polonius reimplementation of the Rus

There's also a Datalog implementation at https://github.com/rust-lang/datafrog https://github.com/rust-lang/datafrog . The Polonius reimplementation of the Rust borrowchecker uses Datafrog: https://github.com/rust-lang/polonius/ https://github.com/rust-lang/polonius/