musubi

Rust 中关系编程，有点类似。

我在阅读 microkanren 论文，并尽力而为。非常欢迎提供帮助。