ekzhang / ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language.
111Updated last year

Related projects

Alternatives and complementary repositories for ukanren-rs