<< Back to previous view

[LOGIC-78] nominal unification inspired by alphaKanren Created: 16/Dec/12  Updated: 28/Jul/13  Resolved: 31/Dec/12

Status: Closed
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: File nominal.diff    
Patch: Code and Test


The new core.logic.nominal namespace implements the alphaKanren primitive fresh, tie and hash.
The tests also run the examples from the alphaKaren paper.

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 ]

fixed, http://github.com/clojure/core.logic/commit/b46b8c077360095c72eaa00a6a4aa843dc9136ff

Generated at Sat Jan 20 21:19:39 CST 2018 using JIRA 4.4#649-r158309.