理解Mini-Kanren的执行模型
理解Mini-Kanren的执行模型
提问于 2012-04-12 14:14:13
SICP的第5章解释了寄存器机器的元循环求值器实习生方案。
有没有什么东西在Scheme原语方面提供类似类型的Mini-Kanren？
我知道有一篇关于Mini-Kanren的论文(然而，我只关心建立一个心理模型；而不是所有血淋淋的优化细节)。我也知道有推理图谋--然而，我并不是在寻找一大堆例子--我只是想理解Mini-kanren‘非常非常基本的形式，就像一个人如何通过理解: eval，apply，if，set!，env来理解方案
谢谢!
回答 2
Stack Overflow用户
回答已采纳
发布于 2012-04-12 22:34:45
我认为阅读推理图谋实际上是学习基础知识的正确方法。你也可以尝试从Clojure Conj观看Dan Friedman和William Byrd的miniKanren talk。
因为miniKanren只有seven forms总数，所以理解基本形式实际上就是理解整个事情。它的实现只是关于宏的a page，所以你可以试着去理解它。您也可以尝试阅读William Byrd的PhD thesis的介绍部分。
Stack Overflow用户
发布于 2012-04-12 22:39:59
在The Reasoned Schemer一书中，有一个在方案之上的非常简单的逻辑系统的实现。它是自包含的，理解它唯一需要的就是书本身，这与系列中其他书的风格一样，非常容易理解。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/10118292
复制相关文章
相似问题
腾讯云开发者
