GitHub repository: tgecho/canrun_rs
Primary language: Rust
Description: A Rust logic programming library inspired by the *Kanren family of language DSLs.