文件名称：cKanren, 在球拍中嵌入约束编程语言.zip
文件大小：90KB
文件格式：ZIP
更新时间：2022-10-08 02:31:14
开源
cKanren, 在球拍中嵌入约束编程语言 版权所有( C ) 2013 -4 Claire Alvis版权所有( C ) 2011 -2013 Daniel P 。 ，Oleg Kiselyov，Claire E 。 Alvis，Jeremiah，Willcock，Kyle M
【文件预览】：
cKanren-master
----.gitignore(239B)
----README.md(2KB)
----cKanren()
--------unstable()
--------absento.rkt(2KB)
--------eigen.rkt(7KB)
--------testall.rkt(1KB)
--------tests()
--------miniKanren.rkt(12KB)
--------tester.rkt(3KB)
--------src()
--------info.rkt(95B)
--------ck.rkt(79B)
--------copy.rkt(21KB)
--------tree-unify.rkt(3KB)
--------attributes.rkt(4KB)
--------matche.rkt(4KB)
--------neq.rkt(2KB)
--------lang()
--------main.rkt(306B)
----info.rkt(126B)