nominal.diff
[LOGIC-78] nominal unification inspired by alphaKanren Created: 16/Dec/12 Updated: 31/Dec/12 Resolved: 31/Dec/12 |
|
| Status: | Resolved |
| Project: | core.logic |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Enhancement | Priority: | Major |
| Reporter: | Nada Amin | Assignee: | David Nolen |
| Resolution: | Completed | Votes: | 0 |
| Labels: | None | ||
| Attachments: |
nominal.diff
|
| Patch: | Code and Test |
| Description |
|
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?) |
| Comments |
| 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 ] |
|
fixed, http://github.com/clojure/core.logic/commit/b46b8c077360095c72eaa00a6a4aa843dc9136ff |