在2024年Clojure状态调查！中分享您的想法。

欢迎！请访问关于页面以了解更多关于如何使用此网站的信息。

提出问题
提问

最近标记为jira的问题

0票
3个答案
匹配负结果的EQ条件无法找到任何结果。
提问时间 2018年11月4日 在 core.logic 由 jira
0票
2个答案
在调用`p->term`的某些地方`*locals*`未绑定
提问时间 2018年9月27日 在 core.logic 由 jira
0票
1个答案
IUnifyTerms扩展不再工作
提问时间 2015年12月16日 在 core.logic 由 jira
0票
1个答案
当`(!= (_0 _0))`时，不等可能无法消除
提问时间 2015年12月6日 在 core.logic 由 jira
0票
1个答案
逻辑变量与集合统一时发生StackOverflowError
提问时间 2015年8月3日 在 core.logic 由 jira
0票
1个答案
condu的文档字符串不正确或至少令人困惑
提问时间 2015年7月28日 在 core.logic 由 jira
0票
4个答案
对于clojure 1.7，非唯一lvars的等价性损坏
提问时间 2015年6月25日 在 core.logic 由 jira
0票
1个答案
允许在映射中不存在的关键字进行部分匹配
提问 2015年5月20日 在 core.logic 由 jira
0票
1个答案
添加 conde 的非交错版本
提问 2014年12月21日 在 core.logic 由 jira
0票
1个答案
编译时进行模式匹配检查
提问 2013年6月25日 在 core.logic 由 jira
0票
4个答案
允许在一个绑定器中绑定多个 noms
提问 2013年6月10日 在 core.logic 由 jira
0票
2个答案
添加标签目标
提问 2013年4月29日 在 core.logic 由 jira
0票
4个答案
matcha/matchu 不忠于 conda/condu 的语义
提问 2013年4月4日 在 core.logic 由 jira
0票
13 答案
添加 Prolog 元逻辑谓词 bagof、setof、findall
提问 2012年11月16日 在 core.logic 由 jira
页面
欢迎来到 Clojure Q&A，在这里您可以向 Clojure 社区成员提问并获得答案。

分类

最近标记为jira的问题
由Cognitect代表Clojure社区维护
...