了解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 talk。

由于miniKanren总共只有seven forms，所以理解基本形式实际上只是理解整个事物。实现只有大约a page个宏，因此您可以尝试理解它。您也可以尝试阅读William Byrd PhD thesis的介绍部分。

Answer 2

在书The Reasoned Schemer中，在Scheme之上有一个非常简单的逻辑系统的实现。它是独立的，理解它的唯一需要的是书本身，它以系列中其他书籍的风格非常容易理解。