Show HN: Canrun – Rust logic programming library inspired by *Kanren
github.com