【文件属性】：
文件名称：faster-miniKanren:miniKanren 的快速实现，具有不公平和缺席，兼容 Racket 和 Chez
文件大小：37KB
文件格式：ZIP
更新时间：2021-08-04 14:55:51
Scheme
miniKanren-with-symbolic-constraints
的修订版，以获得更好的性能。 对于涉及大量使用约束的大型查询，速度最多可提高 10 倍。
包括== 、 =/= 、 symbolo 、 numbero和absento 。
*** 更新（WEB， absento年 8 月 21 日）： absento现在是通用的——第一个参数可以是任何合法的迷你看人术语，不需要理由。 以前， faster-miniKanren要求第一个参数absento是eqv? - 可比的地面原子。 感谢 Michael Ballantyne 指出如何取消此限制。
特征被移除。
跑步
球拍
从 Package Server
这在上可用，因此可以使用 Racket 的软件包管理器进行安装：
raco pkg install faster-minikanren
之后，您可以将其导入 Ra
【文件预览】：
faster-miniKanren-master
----absento-closure-tests.scm(2KB)
----simple-interp.scm(994B)
----mk-guile.scm(1KB)
----.gitignore(12B)
----simple-interp.rkt(84B)
----matche.scm(5KB)
----test-quines.scm(25KB)
----matche.rkt(169B)
----symbolo-tests.scm(5KB)
----symbolo-numbero-tests.scm(5KB)
----full-interp.rkt(81B)
----LICENSE(1KB)
----numbero-tests.scm(4KB)
----test-all.scm(737B)
----test-guile.scm(120B)
----mk.scm(26KB)
----full-interp.scm(10KB)
----test-check.scm(476B)
----README.md(11KB)
----mk-vicare.scm(3KB)
----test-simple-interp.scm(2KB)
----chez.scm(255B)
----test-infer.scm(2KB)
----disequality-tests.scm(8KB)
----stringo-tests.scm(6KB)
----test-all.rktl(94B)
----info.rkt(346B)
----main.rkt(168B)
----numbers.scm(7KB)
----mk.rkt(892B)
----numbers.rkt(110B)
----test-numbers.scm(6KB)
----absento-tests.scm(13KB)
----==-tests.scm(918B)