Datalog compiler embedded in Rust as a procedural macro - View it on GitHub