ACM DL (free) version of our paper, "Seamless Deductive Inference via Macros", is up! (s-arash.github.io/ascent/cc22mai). We detail a library-only approach to adding high-performance Datalog to Rust. Artifacts both evaluated and reproduced! lib.rs/crates/ascent s-arash.github.io/ascent/
Conversation
Replying to
Oooh this looks cool! Do you know how it compares to Crepe lib.rs/crates/crepe? I remember being intrigued by that a while back – nice to see more wok on datalog in Rust!