Core.logic的简明解释答案

【问题标题】：Concise Explanation of Core.logicCore.logic的简明解释
【发布时间】：2012-05-10 08:49:00
【问题描述】：

我想使用 Clojure 的 Core.logic。但是，我也想了解它是如何工作的。在某处是否有简明的解释？（比如实现一个元循环评估器？）

谢谢！

【问题讨论】：

【解决方案1】：

core.logic 是 miniKanren 的一个实现 - 最初由 Dan Friedman、William Byrd、Oleg Kiselyov 和其他人在 Scheme 中编写和设计。这是在 Lisp 中嵌入 Prolog 风格的关系编程的尝试。

Reasoned Schemer 还详细介绍了统一器。然而，miniKanren 更微妙的目标部分没有得到全面的处理 - 你需要查看 Byrd 的论文。

即便如此，与元循环解释器一样 - 如果不尝试用各种编程语言自己实现系统，就无法获得许多见解。

【讨论】：

我要补充：github.com/clojure/core.logic/wiki/A-Core.logic-Primer 以及研究 Prolog 编程的建议（更多示例，类似想法，尽管不如 miniKanren 通用）。
您与伯德论文的链接已损坏。 :-(

【解决方案2】：

您还可以在 Strange Loop 2012 中看到 David's talk on core.logic。

有关该主题的简单介绍，另请参阅：sokuza-kanren

【讨论】：