ekzhang/ukanren-rs

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

语言：Rust · GitHub 星标：119 · Fork：4

话题：functional-programming · language · logic-programming · microkanren · minikanren · prolog · rust

在 GitHub 上查看原仓库