quines:miniKanren中可以生成quines的关系解释器

【文件属性】：
文件名称：quines:miniKanren中可以生成quines的关系解释器
文件大小：1.3MB
文件格式：ZIP
更新时间：2021-06-28 04:21:29
Scheme 奎因 miniKanren中可以生成quines的关系解释器 是时候了！ ——丹尼尔·P·弗里德曼 更新 - 2012 年 9 月 29 日 我们冒昧地从成绩单中稍微改变了一点（请talk.scm ），因为我们现在有一个无副作用的实现版本。 这意味着我们已经替换了 (define no-closureo (not-in 'closure)) 和 (no-closureo x) 通过一个目标 (noo 'closure x). 这也允许noo表达式出现在目标可以出现的任何地方，前提是noo的第一个参数是一个符号，第二个参数是任何术语。 这是唯一的变化，今天我们看到了四个 thrine 的生成，你可以在q.scm看到。 要求 Chez Scheme 或其免费版本需要运行 quines 代码及其支持库。 Petite Chez Scheme 快速入门 位于。 清晰简洁。 相关命令的退出概要

【文件预览】：
quines-master
----numbers.scm(7KB)
----dmatch.scm(5KB)
----withnumbers.scm(5KB)
----pmatch.scm(3KB)
----sl.pdf(1.33MB)
----infer.scm(2KB)
----q.scm(6KB)
----transcript.scm(24KB)
----talk.scm(6KB)
----README.md(3KB)
----mk.scm(16KB)