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-85 core.logic <p>This returns (<span class="error">&#91;1 1&#93;</span>) instead of ().</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run* [q] (fresh [x y] (predc y even? `even?) (predc x odd? `odd) (== x y) (== x 1) (== q [x y]))))</pre> </div></div> LOGIC-85

another issue with predc constraint is not enforced when it could be

Defect Major Resolved Completed David Nolen Nada Amin Mon, 24 Dec 2012 12:25:33 -0600 Mon, 24 Dec 2012 18:14:21 -0600 Mon, 24 Dec 2012 18:14:21 -0600 0 1 <p>This is actually related to the deeper problem also demonstrated by <a href="http://dev.clojure.org/jira/browse/LOGIC-77" title="Finite-domain vars inside a vector crash when constrained."><del>LOGIC-77</del></a>. The problem is that cKanren checks constraints via "update-prefix" which calls "update" which calls "run-constraints*". "update" is called on the Substitution <b>prior</b> to unification. This creates all kinds of issues as it's during unification that we "migrate" constraints from one logic var to another.</p> <p>I'm pondering eliminating "update" and moving "run-constraints*" lower into the system - perhaps at the level of "ext-no-check". A related change would be putting SubstValue smarts into "ext-no-check". For example a "ext-no-check" on a unbound constrained logic var would simply update its SubstValue. This is critical as SubstValue might contain constraint information that must be preserved.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/d4d4cd53edfd76c2f416bd699f4b4d914f880985">http://github.com/clojure/core.logic/commit/d4d4cd53edfd76c2f416bd699f4b4d914f880985</a></p> Global Rank