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-81 core.logic <p>The predc number constraint fails to be enforced here.</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(is (= (run* [q] (fresh [x] (== q x) (predc q number? `number?) (== x <span class="code-quote">"foo"</span>))) ())) ;; <span class="code-keyword">false</span> -- actual is ((_0 :- number?))</pre> </div></div> <p>Inverting the first two goals gives the expected result.</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(is (= (run* [q] (fresh [x] (predc q number? `number?) (== q x) (== x <span class="code-quote">"foo"</span>))) ())) ;; OK</pre> </div></div> LOGIC-81

predc constraint is not enforced when it could be

Defect Major Resolved Completed David Nolen Nada Amin Wed, 19 Dec 2012 07:27:15 -0600 Thu, 20 Dec 2012 09:43:08 -0600 Thu, 20 Dec 2012 09:43:08 -0600 0 0 <p>Actually, the problem is not specific to predc. It's an issue that addcg can overwrite a precious binding. Here is another example without predc:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(is (= (run* [q] (fresh [x y z] (== q x) (distinctfd [q y]) (== y x) (infd q x y (interval 1 3)))) ()) ;; <span class="code-keyword">false</span> -- actual is [1 2 3]</pre> </div></div> <p>I have a fix that I'll submit shortly.</p> <p>Let's discuss on GitHub first: <a href="https://github.com/namin/core.logic/compare/logic-81">https://github.com/namin/core.logic/compare/logic-81</a></p> <p>logic-81.diff include fix and tests. Since the interface for the constraint store has been modified, some tests needed to be udpated.</p> <p>discussion: <a href="https://github.com/clojure/core.logic/pull/14">https://github.com/clojure/core.logic/pull/14</a></p> <p>rebase:<br/> <a href="https://github.com/namin/core.logic/compare/logic-81-base">https://github.com/namin/core.logic/compare/logic-81-base</a></p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/0f7de6ed7125df65f4450d5507341a98b151001a">http://github.com/clojure/core.logic/commit/0f7de6ed7125df65f4450d5507341a98b151001a</a></p> Global Rank