文件名称：mkr:µKanren在Lisp风味Erlang中的实现
文件大小：10KB
文件格式：ZIP
更新时间：2024-06-06 17:08:42
Erlang
mkr µKanren在LFE中的实现。 什么是µKanren？ 它是一种很小的关系编程语言，在Jason Hemann和Daniel P. Friedman的超级有趣的教程认真的科学出版物的定义。 我可以运行在合理的策士在练习mkr ？ 是的！ 您可能需要小心，因为conde实际上交错流，像condi从理由充分的策士。 待办事项：正确命名。 我可以在LFE项目中使用引擎吗？ 是的！ 另外，如果您不喜欢痛苦，请确保包括用户级宏： (include-lib "mkr/include/mkr-user.lfe") 这使您可以访问： = ：统一 fresh ：类似lambda的形式 conde ：类似cond的形式（具体是：连接词的析取） run N ：结果长度有限的*查询 run* ：结果长度不受限制的*查询 以及这些更底层的形式： conj+ ：一个可变参数结合运营商的目
【文件预览】：
mkr-master
----.gitignore(102B)
----package.exs(249B)
----Makefile(85B)
----src()
--------mkr-user.lfe(1KB)
--------mkr.lfe(2KB)
--------mkr-util.lfe(175B)
--------mkr.app.src(275B)
----resources()
--------make()
----.travis.yml(216B)
----LICENSE(1KB)
----rebar.config(394B)
----README.md(3KB)
----include()
--------mkr-user.lfe(1KB)
--------mkr-bool.lfe(238B)
----test()
--------unit-mkr-tests.lfe(2KB)
--------unit-mkr-user-tests.lfe(4KB)