在
2024 Clojure状态调查！
分享你的想法。
欢迎！有关如何运作的更多信息，请查看
关于
页面。
GitHub 登录
所有活动
问题
未回答
标签
提出问题
关于
提出问题
相关变量逻辑错误地丢弃了变量约束集
0
票
提问
2013年1月4日
在
core.logic
由
jira
需要补丁和测试以证明变量约束集被保留。
问题
jira
请
登录
或
注册
以添加评论。
请
登录
或
注册
以回答此问题。
2
答案
0
票
解答
2013年1月8日
由
jira
评论者：dnolen
目前是死代码，这不是一个阻止器。
请
登录
或
注册
以添加评论。
0
票
解答
2019年6月26日
由
jira
参考：
https://clojure.atlassian.net/browse/LOGIC-96
（由dnolen报告）
请
登录
或
注册
以添加评论。
欢迎来到Clojure Q&A，您可以在这里提出问题并从Clojure社区成员那里获得答案。
相关问题
逻辑变量与集合统一时抛出StackOverflowError
在explain-data中Spec不正确地断言集合 : 字段
core.logic中搜索逻辑变量的featurec错误
FD逻辑并不总是返回所有解决方案
遍历集合时抛出StackOverFlowError
类别
所有类别
Clojure
(1.5k)
ClojureScript
(610)
ClojureCLR
(25)
贡献库
(719)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
core.cache
(19)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(8)
core.rrb-vector
(13)
core.typed
(33)
core.unify
(5)
data.avl
(1)
data.codec
(3)
data.csv
(12)
data.finger-tree
(1)
data.fressian
(6)
data.generators
(3)
data.int-map
(17)
data.json
(17)
data.priority-map
(3)
data.xml
(23)
data.zip
(4)
java.classpath
(2)
java.data
(12)
java.jdbc
(3)
java.jmx
(6)
math.combinatorics
(5)
math.numeric-tower
(1)
replicant
(0)
test.check
(45)
test.generative
(2)
tools.analyzer
(8)
tools.build
(29)
tools.cli
(7)
tools.deps
(119)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(11)
tools.tools
(2)
tools.trace
(5)
工具
(72)
元信息
(19)
其他
(91)
...
