A Rust logic programming library inspired by the *Kanren family of language DSLs.
Primary LanguageRustApache License 2.0Apache-2.0
No one’s star this repository yet.