Clojure：Clojure中的core.logic，prolog，逻辑风格编程

Question

上下文

我知道core.logic。

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

我知道Prolog的存在。

我希望在 Clojure中进行逻辑式编程变得更好。

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

问题：

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

（其他有关改进逻辑编程的建议也欢迎。）

谢谢！

Answer 1

逻辑编程+ Clojure世界的其他部分包括

• cascalog（Hadoop上的逻辑编程）
• datomic（逻辑编程+数据库上的时间）

Answer 2

我相信相当数量的Prolog可以翻译成miniKanren / core.logic。我不知道很多问题（一个是Definite Clause Grammars，但还有其他方法可以在Clojure中编写解析器）。如果您遇到困难，请随时向Clojure邮件列表发布改进建议。