sml-kanren:让我们再做一个迷你人

sml-kanren miniKanren的实现，其中=== ， conj ， disconj和fresh 。 这主要是写的，所以我可以测试一些我为ML创建的库。 如果您想了解该语言的src/kanren.sig ，请参阅src/kanren.sig 。 如果需要有关如何编写一些有趣程序的示例，请参见demo/或src/prelude.fun 。