A lightweight Datalog engine in Rust - View it on GitHub