[#LOGIC-78] nominal unification inspired by alphaKanren - Clojure JIRA

Details

Type: Enhancement
Status: Resolved
Priority: Major
Resolution: Completed
Affects Version/s: None
Fix Version/s: None
Component/s: None
Labels:
None

Patch:
Code and Test

Description

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?)

More Options
- Sort By Name
- Sort By Date
- Ascending
- Descending
- Download All

Attachments

nominal.diff

31/Dec/12 9:37 AM

27 kB

Nada Amin

Activity

Ascending order - Click to sort in descending order

Hide

Permalink

David Nolen added a comment - 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.

Show

David Nolen added a comment - 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.

Hide

Permalink

Nada Amin added a comment - 31/Dec/12 9:37 AM

nominal.diff patch with implementation + tests in own core.logic.nominal namespace.

Show

Nada Amin added a comment - 31/Dec/12 9:37 AM nominal.diff patch with implementation + tests in own core.logic.nominal namespace.

Hide

Permalink

David Nolen added a comment - 31/Dec/12 10:14 AM

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

Show

David Nolen added a comment - 31/Dec/12 10:14 AM fixed, http://github.com/clojure/core.logic/commit/b46b8c077360095c72eaa00a6a4aa843dc9136ff

People

Assignee:

David Nolen

Reporter:

Nada Amin

Vote (0)

Watch (0)

Dates

Created:

16/Dec/12 4:59 AM

Updated:

31/Dec/12 10:14 AM

Resolved:

31/Dec/12 10:14 AM