core.logic

nominal unification inspired by alphaKanren

Details

  • Type: Enhancement Enhancement
  • Status: Closed Closed
  • Priority: Major 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?)

Activity

Hide
David Nolen added a comment -

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 - 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
Nada Amin added a comment -

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

Show
Nada Amin added a comment - nominal.diff patch with implementation + tests in own core.logic.nominal namespace.
Nada Amin made changes -
Field Original Value New Value
Attachment nominal.diff [ 11784 ]
David Nolen made changes -
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
David Nolen made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: