ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language.