文件名称：minikanren:来自“The Reasoned Schemer”的 minikanren 的 r6rs 包装
文件大小：19KB
文件格式：ZIP
更新时间：2024-06-30 17:48:49
Scheme
-*- 模式：组织-*- MiniKanren - 一个声明式逻辑编程系统 它是什么？ MiniKanren 是 Scheme 编程语言的关系编程扩展，编写为适合教学目的的更小版本的 。 它在 Dan Friedman、William Byrd 和 Oleg Kiselyov 合着的一书中有特色。 我该如何安装 将目录 minikanren 和文件 minikanren.scm 放在您的方案实现路径上。 还提供了一个 pkg-list.scm 文件用于 dorodango/guildhall 它的执照是什么？ 根据其网站和的，Kanren 以及 MiniKanren 是在 MIT 许可证下发布的。 有关详细信息，请参阅复制。 此版本与原始存储库有何不同？ 此版本已由我（Ian Price）修改，用于 r6rs 方案系统。 我还决定添加一个额外的文件 minikanren.scm，
【文件预览】：
minikanren-master
----minikanren.scm(782B)
----COPYING(1KB)
----minikanren()
--------mkextraforms.scm(1KB)
--------mk.scm(7KB)
--------mkprelude.scm(10KB)
----README.org(2KB)
----mktests.scm(66KB)
----pkg-list.scm(437B)