webyrd/relational-cesk — pull request #1 by namin (2013-03-21 12:59:26+00:00)
Title: Port to core.logic.nominal

Straightforward translation from the miniKanren version, with no
further optimizations.

Uses hash instead of absento, which requires making the closure gensym
a nom, passed around as a package.

We could augment this package to do shadowing, but right now, the
built-in are symbols instead of noms.