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-103 core.logic <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run 2 [q] (fresh [a b s p] (infd a b (interval 2 99)) (&lt;=fd b a) (+fd a b s) (*fd a b p) (== q [a b s p])))</pre> </div></div> <p>It's strange that we don't get the next possibility.</p> LOGIC-103

another non-termination case with CLP(FD)

Defect Major Resolved Completed David Nolen David Nolen Thu, 10 Jan 2013 17:15:01 -0600 Thu, 10 Jan 2013 17:37:50 -0600 Thu, 10 Jan 2013 17:37:50 -0600 0 0 <p>fixed, <a href="http://github.com/clojure/core.logic/commit/e882be8dce190873431d61aefe89a025ab9c0cb6">http://github.com/clojure/core.logic/commit/e882be8dce190873431d61aefe89a025ab9c0cb6</a></p> Global Rank