文件名称:core.logic
文件大小:104KB
文件格式:ZIP
更新时间:2024-04-21 07:18:26
Clojure
核心逻辑 用于Clojure和ClojureScript的逻辑编程库。 core.logic为Clojure提供类似于Prolog的关系编程,约束逻辑编程和名义逻辑编程。 它的核心是miniKanren的原始实现,如William Byrd的论文“ 的,以及和描述的扩展。 它被设计为可以轻松扩展到所提供逻辑编程之外的形式。 发布和依赖项信息 该项目遵循版本方案MAJOR.MINOR.PATCH,其中每个组件都提供有关更改大小的一些相对指示,但不遵循语义版本控制。 通常,所有更改都力求不间断(通过移动到新名称而不是通过破坏现有名称)。 最新稳定版本:1.0.0 依赖项信息: org.clojure/core.logic { :mvn/version " 1.0.0 " } 依赖项信息: [org.clojure/core.logic "1.0.0"] 依赖项信息: <depende
【文件预览】:
core.logic-master
----pom.xml(2KB)
----project.clj(2KB)
----epl.html(12KB)
----resources()
--------index.html(79B)
--------index_dev.html(196B)
----LICENSE(11KB)
----CONTRIBUTING.md(479B)
----src()
--------test()
--------main()
----CHANGES.md(9KB)
----.gitignore(102B)
----README.md(4KB)
----script()
--------test(542B)