http://dev.clojure.org/jira/secure/IssueNavigator.jspa?reset=true&jqlQuery=project+%3D+10020+AND+labels+%3D+new-feature An XML representation of a search request en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/LOGIC-25 core.logic <p>For long-running or interactive programs, it is useful to allow facts to become "no longer" true at a point in time.</p> LOGIC-25

Allow retraction of previously stated facts in a relation

Enhancement Minor Resolved Completed David Nolen Michael Nygard new-feature Wed, 11 Jan 2012 07:10:00 -0600 Wed, 18 Jan 2012 17:45:07 -0600 Wed, 18 Jan 2012 17:45:07 -0600 0 0 <p>I've found a bug in this patch. It doesn't handle indexes correctly. New patch coming soon.</p> <p>New patch that correctly updates indexes when retracting facts.</p> <p>This looks good but could we get a properly formatted patch w/ attribution information? Thanks!</p> <p>Happy to. What needs to be different for the patch to work? Also, what attribution are you looking for? Author info in the function?</p> <p>Did you make the patch with git? Git should add that information.</p> <p>I did make the patch with git.</p> <p>Normally git patches I've applied have a header like the following:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">From 8a44aec861c91a9652f3d60093d3d556a490067e Mon Sep 17 00:00:00 2001 From: Bobby Calderwood &lt;bobby_calderwood@mac.com&gt; Date: Fri, 13 Jan 2012 09:24:29 -0500 Subject: [PATCH] MultiFn <span class="code-keyword">implements</span> IHash</pre> </div></div> <p>How exactly are you creating the patch with git?</p> <p>I had been using git diff. New patch file attached using git format-patch. I think this is what you're looking for.</p> <p>Fixed, <a href="https://github.com/clojure/core.logic/compare/2e4bd26201...89005b726f">https://github.com/clojure/core.logic/compare/2e4bd26201...89005b726f</a></p> Global Rank Patch Code and Test