文件名称：sml-kanren:让我们再做一个迷你人
文件大小：6KB
文件格式：ZIP
更新时间：2024-06-10 00:30:57
StandardML
sml-kanren miniKanren的实现，其中=== ， conj ， disconj和fresh 。 这主要是写的，所以我可以测试一些我为ML创建的库。 如果您想了解该语言的src/kanren.sig ，请参阅src/kanren.sig 。 如果需要有关如何编写一些有趣程序的示例，请参见demo/或src/prelude.fun 。
【文件预览】：
sml-kanren-master
----kanren.cm(315B)
----.gitmodules(370B)
----src()
--------operator.sml(408B)
--------prelude.sig(1013B)
--------kanren.sig(581B)
--------prelude.fun(2KB)
--------kanren.sml(1KB)
----lib()
--------sml-abt-unify()
--------sml-stream()
--------sml-abt()
--------cmlib()
----demo()
--------sources.cm(37B)
--------append.sml(695B)
----LICENSE(1KB)
----README.md(334B)
----.gitignore(4B)