Try to implement microKanren which introduced in <µKanren: A Minimal Functional Core for Relational Programming>.
rink1969/microKanren-rs
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.