Clojure:Clojure中的core.logic,prolog,逻辑风格编程

7 clojure

上下文

我知道core.logic.

我已经完成了理性的阴谋家.

我知道Prolog的存在.

我想 Clojure 中做更好的逻辑风格编程.

Prolog的书籍比core.logic书籍多得多.

题:

我目前正计划使用clojure的core.logic来完成一些Prolog书籍.我应该注意哪些事项/从Prolog到core.logic难以映射的内容?

(其他有关改进逻辑编程的建议也欢迎.)

谢谢!

dno*_*len 1

我相信相当多的 Prolog 可以被翻译成 miniKanren / core.logic。我不知道很多问题(一个是定子句语法,但还有其他方法可以在 Clojure 中编写解析器)。如果您遇到困难,请随时在 Clojure 邮件列表中发布改进建议。