在
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问答，在这里您可以提出问题，并从Clojure社区成员那里获得答案。
相关问题
逻辑变量与集合统一时发生StackOverflowError
在explain-data中Spec错误地断言了集合的字段
core.logic中的featurec搜索逻辑变量时出现问题
FD逻辑不总是返回所有解决方案
遍历集合时发生StackOverFlowError
类别
所有类别
Clojure
(1.5K)
ClojureScript
(610)
ClojureCLR
(25)
Contrib 库
(719)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
核心缓存
(19)
核心合约
(5)
核心逻辑
(66)
核心匹配
(44)
核心记忆化
(8)
核心RRB向量
(13)
核心类型
(33)
核心统一
(5)
数据AVL
(1)
数据编解码器
(3)
数据CSV
(12)
数据指树
(1)
数据Fressian
(6)
数据生成器
(3)
数据整数映射
(17)
数据JSON
(17)
数据优先级映射
(3)
数据XML
(23)
数据ZIP
(4)
Java类路径
(2)
Java数据
(12)
Java JDBC
(3)
Java JMX
(6)
数学组合数学
(5)
数学数值塔
(1)
复制器
(0)
测试检查
(45)
测试生成
(2)
工具分析器
(8)
构建工具
(29)
工具命令行
(7)
依赖工具
(119)
依赖关系图工具
(2)
JVM发射器工具
(7)
Git库工具
(4)
日志工具
(6)
宏工具
(8)
命名空间工具
(29)
读取器工具
(11)
工具工具
(2)
跟踪工具
(5)
工具
(72)
元数据
(19)
其他
(91)
...
