http://dev.clojure.org/jira This file is an XML representation of an issue en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/LOGIC-41 core.logic <p>Not sure if this is a bug, but it seems a bit strange</p> <p>=&gt;(defn cp <span class="error">&#91;a b c d&#93;</span> (== a b) (== c d))<br/> =&gt;(run* <span class="error">&#91;q&#93;</span> (fresh <span class="error">&#91;x y&#93;</span> (cp 1 x 2 y) (== q <span class="error">&#91;x y&#93;</span>)))<br/> (<span class="error">&#91;_.0 2&#93;</span>)</p> <p>My expectation was that I get (<span class="error">&#91;1 2)&#93;</span></p> LOGIC-41

Unexpected behavior when using functions

Defect Major Resolved Declined David Nolen Jens Bendisposto Thu, 31 May 2012 14:47:20 -0500 Thu, 31 May 2012 14:50:48 -0500 Thu, 31 May 2012 14:50:48 -0500 0 1 <p>This is not a bug. You can't just combine two unifications like that. They must be combined under fresh or all.</p> Global Rank