A Rust logic programming library inspired by the *Kanren family of language DSLs.
No reviews for this project.