clojure - 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。我不知道很多问题（一个是定句语法，但还有其他方法可以在 Clojure 中编写解析器）。如果您遇到困难，请随时向 Clojure 邮件列表发布改进建议。