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-98 core.logic <p>Related to <a href="http://dev.clojure.org/jira/browse/LOGIC-92">http://dev.clojure.org/jira/browse/LOGIC-92</a>, these two snippets both return (nom/tie 'a_0 1) instead of three results for 1, 2, 3.</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run* [q] (nom/fresh [a b c] (fresh [x y] (== (nom/tie b (nom/tie a x)) (nom/tie c q)) (infd x (interval 1 3))))) (run* [q] (nom/fresh [a b c] (fresh [x y] (infd y (interval 1 3)) (== (nom/tie b (nom/tie a x)) (nom/tie c q)) (== x y))))</pre> </div></div> LOGIC-98

nominal unification misses after-the-fact fd constraints

Defect Major Resolved Completed David Nolen Nada Amin Sat, 5 Jan 2013 10:35:59 -0600 Fri, 11 Jan 2013 10:49:38 -0600 Fri, 11 Jan 2013 10:49:38 -0600 0 0 <p>logic-98.diff fixes this by forcing all nom-related vars at once.</p> <p>Do you have any ideas for separating the concern, so that force-ans doesn't need to know about ::nom?</p> <p>Will need to think about this some more.</p> <p>Ouch! Here is a snippet that doesn't do the right thing, even with the patch:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run* [q] (nom/fresh [a b c d] (fresh [x y z] (== (nom/tie b (nom/tie a x)) (nom/tie c z)) (infd x (interval 1 3)) (== (nom/tie d q) z))))</pre> </div></div> <p>It returns only (1) instead of (1 2 3).</p> <p>logic-98-nominal.diff is a solution that works for all three test cases above by simply making core.logic.nominal aware of ::fd and updating the doms when appropriate.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/ef27fa3ed2381f3ad4685d4bc59a298646a4febb">http://github.com/clojure/core.logic/commit/ef27fa3ed2381f3ad4685d4bc59a298646a4febb</a></p> <p>It would be nice if nominal didn't need to know about fd, as there will be other "enumerable" domains in the future. But this works great for now.</p> Global Rank