http://dev.clojure.org/jira/secure/IssueNavigator.jspa?reset=true&jqlQuery=project+%3D+LOGIC+AND+updated%3E%3D-1w+ORDER+BY+updated+DESC An XML representation of a search request en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/LOGIC-48 core.logic <p>This domain should probably be (interval 0 Long/MAX_VALUE). In order for this to work this means we should probably accept passing in the vars to assigned domains as a seqable. It would be easy to accept the current way and this new way since if the first arg is not a symbol then the new behavior is being requested.</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(fd/in [x y]) (fd/in [x y z] (interval 0 10))</pre> </div></div> LOGIC-48

fd/in should provide a default domain if none specified

Defect Minor Open Unresolved David Nolen David Nolen Thu, 30 Aug 2012 11:35:50 -0500 Fri, 17 May 2013 00:57:46 -0500 0 0 Global Rank http://dev.clojure.org/jira/browse/LOGIC-93 core.logic <p>Currently the all different goals will exhibit entailment issues since they have implementations of `IRelevant` that just return `true`.</p> LOGIC-93

eliminate FDConstraint, use a template instead of delegation

Defect Minor Resolved Completed David Nolen David Nolen Thu, 3 Jan 2013 00:12:55 -0600 Fri, 17 May 2013 00:57:05 -0500 Fri, 17 May 2013 00:57:05 -0500 0 0 <p>FD constraints are always forced at the end so this is not a blocker.</p> <p>fixed</p> Global Rank http://dev.clojure.org/jira/browse/LOGIC-80 core.logic LOGIC-80

add fne, anonymous version of defne

Enhancement Minor Open Unresolved David Nolen David Nolen Tue, 18 Dec 2012 10:13:04 -0600 Fri, 17 May 2013 00:53:27 -0500 0 2 <p>The macros 'fnm' (and fn<span class="error">&#91;eau&#93;</span>) use the optional argument :tabled after the argument list. Is it ok? </p> <p>tabling passed as an option is OK with me.</p> <p>Also could we get tests? Thanks much!</p> <p>I've used the existing pm tests to test the fne macro. you find it in the logic-80-2.patch. Is it what you had in mind?</p> <p>It is not clear how I can test for tabled anonymous functions as the :tabled metadata is of the defn<span class="error">&#91;x&#93;</span> vars.<br/> Possibilities would be:</p> <ul> <li>add meta-data to the function produced by the macro 'tabled';</li> <li>let the function produced by tabled implement some interface/protocol.</li> </ul> <p>what do you think?</p> <p>This looks good. Two things:</p> <ul> <li>squashed patch</li> <li>tabled anonymous goal patch</li> </ul> <p>we're almost there <img class="emoticon" src="http://dev.clojure.org/jira/images/icons/emoticons/smile.gif" height="20" width="20" align="absmiddle" alt="" border="0"/></p> <p>i do not understand what you mean. you prefer a separate patch for tabled anonymous goal?</p> <p>Sorry typo, I meant a test for the tabled anonymous goal. Thanks!</p> <p>thanks, i'll do it asap.</p> <p>Squashed Patch with tests for the fn<span class="error">&#91;e&#93;</span> macros, normal and tabled.</p> <p>so i finally got some time to look at it again. the patch is squashed and contains a test for the tabled anonymous goals; it just tests whether the macro code actually works.</p> <p>Thanks will take a look!</p> Global Rank