clojure - 了解 Mini-Kanren 的执行模型

Question

SICP 的第 5 章解释了寄存器机器的元循环评估器实习生方案。

就 Scheme 原语而言，有什么可以提供类似类型的 Mini-Kanren 的吗？

我知道有一篇关于 Mini-Kanren 的论文（但是，我只关心建立一个心智模型；而不是所有血淋淋的优化细节）。我也知道有理性的计划者-但是，我不是在寻找一堆示例-我只是想以非常非常基本的形式理解 Mini-kanren，就像人们如何通过以下方式理解方案一样理解：eval、apply、if、set!、env

谢谢！

Answer 1

我认为阅读The Reasoned Schemer实际上是学习基础知识的正确方法。您还可以尝试从 Clojure Conj观看 Dan Friedman 和 William Byrd 的miniKanren 谈话。

由于miniKanren总共只有七种形式，了解基本形式实际上就是了解整个事物。该实现仅涉及一页宏，因此您可以尝试理解这一点。您也可以尝试阅读 William Byrd博士论文的介绍部分。

Answer 2

在The Reasoned Schemer一书中，有一个基于 Scheme 的非常简单的逻辑系统的实现。它是自成一体的，理解它的唯一需要就是书本身，它——在该系列中其他书籍的风格中，非常容易理解。