http://dev.clojure.org/jira/secure/IssueNavigator.jspa?reset=true&jqlQuery=labels+%3D+unify An XML representation of a search request en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/UNIFY-4 core.unify <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(unify '[1 ?x] '[1]) =&gt; {?x nil}</pre> </div></div> <p>I expect this unification to fail.</p> UNIFY-4

Vectors of different length incorrectly unify

Defect Minor Resolved Completed Fogus Thomas Winant unify Wed, 8 Feb 2012 07:51:35 -0600 Fri, 25 May 2012 22:00:40 -0500 Fri, 25 May 2012 22:00:40 -0500 0 0 <p>Which version are you using?</p> <p>Version 5.2</p> <p>This is not a perfect solution, but it works as a stopgap as this will be handled in the next 0.1.0 version. For now the 0.5.3 version has been deployed and should be available on Maven Central in the next few hours.</p> Global Rank http://dev.clojure.org/jira/browse/UNIFY-2 core.unify <div class="preformatted panel" style="border-width: 1px;"><div class="preformattedContent panelContent"> <pre>Reflection warning, clojure/core/unify.clj:30 - reference to field getClass can't be resolved. Reflection warning, clojure/core/unify.clj:30 - reference to field isArray can't be resolved. </pre> </div></div> <p>These reflective calls occur frequently enough that they should be resolved.</p> UNIFY-2

Remove reflection warnings

Defect Minor Resolved Completed Fogus Fogus performance reflection unify Thu, 5 Jan 2012 07:26:54 -0600 Thu, 5 Jan 2012 07:37:14 -0600 Thu, 5 Jan 2012 07:37:14 -0600 0 0 <p>Fixed in 6b6d1130bf857439d1863f6fc574a7a6541b84b8.</p> Approval Ok Global Rank http://dev.clojure.org/jira/browse/LOGIC-36 core.logic <p>I tried some tests of core.unify against core.logics binding-map function and found some inconsistencies:<br/> (binding-map '(?x ?y) '(?y ?x)) ==&gt; {?y _.0, ?x _.0}<br/> while core.unify returns ==&gt; {?x ?y}</p> LOGIC-36

Unification bug in binding-map

Defect Major Resolved Completed David Nolen André Thieme unify Mon, 9 Apr 2012 16:08:00 -0500 Sun, 17 Mar 2013 18:52:10 -0500 Sun, 17 Mar 2013 18:52:10 -0500 0 0 <p>fixed, <a href="http://github.com/clojure/core.logic/commit/c37212270688b1bdbbca7fb81c1fc52062b24139">http://github.com/clojure/core.logic/commit/c37212270688b1bdbbca7fb81c1fc52062b24139</a></p> Global Rank