文件名称：mukanren-presentation:关于 µKanren 的演讲
文件大小：1.9MB
文件格式：ZIP
更新时间：2024-07-16 18:52:33
Scheme
关于 µKanren 的演讲
迷你看人
设计
强调纯关系和有限失败（论文，第 7 页）
与其他逻辑编程语言的区别
“完整（交错）搜索策略”（与 Prolog 相比）
“完全统一”（与 Mercury 相比，Mercury 中的函数根据输入和输出参数进行专门化，这些参数是这样注释的，不允许仅具有“输出”参数的函数）
避免库里的残留（暂停某些操作，直到它们可以对非地面值进行操作）
问题
逻辑 + 数字 = 不可判定。 为什么？
exist与fresh
资源
，
Lambda Lounge：William Byrd 在 miniKanren 中的关系编程：
：迷你看人介绍
：方案解释器（和 quines）
理性策划者
Petite Chez 计划
，使用(load "