ascent (cargo): Logic programming in Rust
Keywords: logic-programming|datalog|program-analysis|procedural-macro|declarative-language|lattice|rust