clojure/core.logic — pull request #12 by namin (2012-12-16 00:38:22+00:00)
Title: Nominal unification inspired by alphaKanren

Review by @swannodette.