文件名称：microKanren-sagittarius:微看人射手座盗窃
文件大小：78KB
文件格式：ZIP
更新时间：2024-06-19 13:27:55
Scheme
这是什么？ 这是一个 minikanren 实现。 它源自 microKanren 论文随附的代码和 Willam Byrd 的课程。 它已被拆分为许多文件，以使其更加模块化和易于使用。 它旨在致力于所有R7RS方案的实施。 您可以导入几种不同的 minikanren 语言级别： mk-basic：只是简单的迷你看人 - 就像理性的策划者。 新鲜的康德和== mk-diseq：基本扩展了不等性 =/= 约束 mk-types：diseq + typeo 约束，让我们有不相交的类型，如symbolo、booleo、pairo 以及像not-symbolo 这样的否定 mk-watch：这是一个简单的 minikanren 扩展了观察变量（观察直到它们变成地面然后触发目标） - 这对双射约束很有用。 mk-table：这是一个（失败的）实验，基于通过查找懒惰的结果流来替换关系的想法添