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-78 core.logic <p>The new core.logic.nominal namespace implements the alphaKanren primitive fresh, tie and hash.<br/> The tests also run the examples from the alphaKaren paper.</p> <p>See <a href="https://github.com/clojure/core.logic/pull/12">https://github.com/clojure/core.logic/pull/12</a> for the patch in progress.</p> <p>(Meta: Should I add the patch-in-progress now or wait until we finalize the review on GitHub?)</p> LOGIC-78

nominal unification inspired by alphaKanren

Enhancement Major Resolved Completed David Nolen Nada Amin Sun, 16 Dec 2012 04:59:42 -0600 Mon, 31 Dec 2012 10:14:50 -0600 Mon, 31 Dec 2012 10:14:50 -0600 0 0 <p>We can continue discussing it on GitHub for now. Once we're both happy with it there, we can attach the patch here. Thanks.</p> <p>nominal.diff patch with implementation + tests in own core.logic.nominal namespace.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/b46b8c077360095c72eaa00a6a4aa843dc9136ff">http://github.com/clojure/core.logic/commit/b46b8c077360095c72eaa00a6a4aa843dc9136ff</a></p> Global Rank Patch Code and Test