文件名称：shen-minikanren:小看人在沈中的嵌入
文件大小：12KB
文件格式：ZIP
更新时间：2024-06-21 04:41:54
shen minikanren Shen
神迷你看人 小看人的阿神实现 沉minikanren是一个实施 ，逻辑编程嵌入式DSL。 它根据 Will Byrd 的 Scheme改编，遵循 The Reasoned Schemer 附录中给出的 miniKanren 定义。 shen-minikanren 无缝集成到 Shen 的类型系统中。 此表单（The Reasoned Schemer 中的示例 1.54）类型检查为： ( 60+ ) (run* R (fresh ( X Y ) (conde ((=== split X ) (=== pea Y )) ((=== navy X ) (=== bean Y )) (else mk-fail )) (=== [ X Y ] R ))) [[ split pea ] [ navy be
【文件预览】：
shen-minikanren-master
----README.org(1KB)
----types.shen(2KB)
----LICENSE(1KB)
----minikanren.shen(6KB)
----tests.shen(28KB)
----macros.shen(2KB)
----prelude.shen(10KB)