Clojure 核心逻辑的简明解释

我想用Clojure的核心逻辑。然而，我也想了解它是如何工作的。在什么地方有简明的解释吗？（比如实现元循环评估器？）

---

谢谢

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

如果你想了解它是如何工作的，你需要阅读威廉·伯德博士论文的前三章：

理性的策划者还详细介绍了统一者。然而，miniKanren中更微妙的目标部分并没有得到全面的处理——你需要看看伯德的论文

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

您还可以从奇怪的循环2012中看到

---

关于该主题的简单介绍，另请参见：

为什么将其作为OT关闭？去手术室，看看。不知道。已经投票重新开放。这个问题非常适合这个标签。我要补充：以及在Prolog中研究编程的建议（更多的例子，类似的想法，尽管不如miniKanren多功能）。您与Byrd论文的链接已断开：-(