Clojure:core.logic，prolog，Clojure中的逻辑风格编程 上下文

我知道核心逻辑

我已经通过了那个理性的阴谋家

我知道Prolog的存在

我想在Clojure中更好地进行逻辑风格的编程

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

问题: 我目前正计划用clojure的core.logic阅读几本序言书。我应该注意哪些事情/哪些事情很难从Prolog映射到core.logic

（也欢迎其他关于提高逻辑编程能力的建议。）

---

谢谢

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

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

---

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