Clojure JIRA http://dev.clojure.org/jira This file is an XML representation of an issue en-us 4.4 649 25-07-2011 [LOGIC-36] Unification bug in binding-map 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 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