Intro: Announcing Canrun: A logic programming library inspired by the *Kanren family
Github: https://github.com/tgecho/canrun_rs
Crate: https://crates.io/crates/canrun
This started as a little experiment and spiraled out of control. I know I'm still missing a lot of explanatory documentation that ties it all together, but it's been sitting around in a private repo for long enough.