7 clojure
我知道core.logic.
我已经完成了理性的阴谋家.
我知道Prolog的存在.
我想在 Clojure 中做更好的逻辑风格编程.
Prolog的书籍比core.logic书籍多得多.
我目前正计划使用clojure的core.logic来完成一些Prolog书籍.我应该注意哪些事项/从Prolog到core.logic难以映射的内容?
(其他有关改进逻辑编程的建议也欢迎.)
谢谢!
我相信相当多的 Prolog 可以被翻译成 miniKanren / core.logic。我不知道很多问题(一个是定子句语法,但还有其他方法可以在 Clojure 中编写解析器)。如果您遇到困难,请随时在 Clojure 邮件列表中发布改进建议。
| 归档时间: |
|
| 查看次数: |
693 次 |
| 最近记录: |