13 logic scheme clojure minikanren
SICP的第5章解释了寄存器机器的方案元循环评估实习生.
在Scheme原语方面有没有提供类似Mini-Kanren的东西？
我知道有一篇论文写在Mini-Kanren上(但是,我只关心建立一个心智模型;并不是所有的血腥优化细节).我也知道有合理的策划者 - 但是,我并不是在寻找一堆例子 - 我只是想以其非常基本的形式理解Mini-kanren,就像人们如何理解方案一样理解:eval,apply,if,set!,env
谢谢!
Asu*_*awa 11
我认为阅读The Reasoned Schemer实际上是学习基础知识的正确方法.您还可以尝试观看Dan Friedman和William Byrd的来自Clojure Conj 的miniKanren演讲.
由于miniKanren总共只有七种形式,理解基本形式实际上只是理解整个事物.实现只是一页宏,所以你可以尝试理解它.您还可以尝试阅读William Byrd 博士论文的介绍部分.