[LOGIC-78] nominal unification inspired by alphaKanren Created: 16/Dec/12 Updated: 28/Jul/13 Resolved: 31/Dec/12
|Reporter:||Nada Amin||Assignee:||David Nolen|
|Patch:||Code and Test|
The new core.logic.nominal namespace implements the alphaKanren primitive fresh, tie and hash.
See https://github.com/clojure/core.logic/pull/12 for the patch in progress.
(Meta: Should I add the patch-in-progress now or wait until we finalize the review on GitHub?)
|Comment by David Nolen [ 16/Dec/12 10:43 AM ]|
We can continue discussing it on GitHub for now. Once we're both happy with it there, we can attach the patch here. Thanks.
|Comment by Nada Amin [ 31/Dec/12 9:37 AM ]|
nominal.diff patch with implementation + tests in own core.logic.nominal namespace.
|Comment by David Nolen [ 31/Dec/12 10:14 AM ]|