Robuta

https://github.com/tgecho/canrun_rs GitHub - tgecho/canrun_rs: A Rust logic programming library inspired by the *Kanren family of... A Rust logic programming library inspired by the *Kanren family of language DSLs. - tgecho/canrun_rs