文件名称：miniKanren:旧版迷你看人，没有一些花哨的新限制。 请参阅“带符号约束的迷你看人”
文件大小：19KB
文件格式：ZIP
更新时间：2024-07-20 16:43:17
Scheme
迷你看人 相对于 miniKanren 中最新的符号约束，此版本已过时。 有关更新的版本，请参阅“ ”。 版权所有 (C) 2012 Daniel P. Friedman、Oleg Kiselyov、Abdulaziz Ghuloum、William E. Byrd 特此授予任何人免费获得本软件副本和相关文档文件（“软件”）的许可，不受限制地处理本软件，包括但不限于使用、复制、修改、合并的权利、发布、分发、再许可和/或出售软件的副本，并允许向其提供软件的人员这样做，但须符合以下条件： 上述版权声明和本许可声明应包含在软件的所有副本或重要部分中。 该软件“按原样”提供，不提供任何形式的明示或暗示的保证，包括但不限于适销性、特定用途的适用性和不侵权的保证。 在任何情况下，作者或版权持有人均不对任何索赔、损害或其他责任承担任何责任，无论是在合同诉讼、侵权行为或其他方面，由软件或软件的使
【文件预览】：
miniKanren-master
----mkdefs.scm(11KB)
----mk.scm(6KB)
----prelude.scm(850B)
----README.md(2KB)
----mktests.scm(76KB)
----neverequalotests.scm(6KB)
----mkneverequalo.scm(3KB)