文件名称：chicken-miniKanren：打包CHICKEN计划的规范miniKanren实现（http：call-cc.org）
文件大小：13KB
文件格式：ZIP
更新时间：2024-03-04 22:17:52
Scheme
鸡迷你看人 该存储库提供了，并作为CHICKEN Scheme的鸡蛋包装。 鸡蛋还包括最初由Alex Shinn提供并经过修改以与该版本的miniKanren一起使用的扩展，这些扩展代表了Reasoned Schemer （Dan Friedman，William Byrd和Oleg Kiselyov，麻省理工学院出版社）的代码和关系。 注意：此存储库在和上均已镜像。 为避免重复劳动，请通过Bitbucket提交问题。 如果您不想为了上传问题而创建Bitbucket帐户，则启用了匿名问题报告。 从miniKanren实现 规范的miniKanren实现。 实现本文描述的语言： 威廉·E·伯德，埃里克·霍尔克和丹尼尔·P·弗里德曼。 miniKanren，现场和未标记：通过关系解释器生成Quine（编程珍珠）。 出现在2012年计划和功能编程研讨会的论文集中，丹麦哥本哈根，2012年。
【文件预览】：
chicken-miniKanren-master
----mini-kanren.meta(540B)
----mini-kanren.release-info(206B)
----mini-kanren.setup(318B)
----LICENSE(1KB)
----mini-kanren.egg(360B)
----.gitignore(80B)
----mini-kanren.scm(2KB)
----README.md(1KB)
----mk.scm(22KB)
----mk-extras.scm(9KB)