chicken-miniKanren：打包CHICKEN计划的规范miniKanren实现（http：call-cc.org）

鸡迷你看人 该存储库提供了，并作为CHICKEN Scheme的鸡蛋包装。 鸡蛋还包括最初由Alex Shinn提供并经过修改以与该版本的miniKanren一起使用的扩展，这些扩展代表了Reasoned Schemer （Dan Friedman，William Byrd和Oleg Kiselyov，麻省理工学院出版社）的代码和关系。 注意：此存储库在和上均已镜像。 为避免重复劳动，请通过Bitbucket提交问题。 如果您不想为了上传问题而创建Bitbucket帐户，则启用了匿名问题报告。 从miniKanren实现 规范的miniKanren实现。 实现本文描述的语言： 威廉·E·伯德，埃里克·霍尔克和丹尼尔·P·弗里德曼。 miniKanren，现场和未标记：通过关系解释器生成Quine（编程珍珠）。 出现在2012年计划和功能编程研讨会的论文集中，丹麦哥本哈根，2012年。