Paper introducing cKanren (miniKanren with constraints) Paper introducing αKanren (miniKanren for nominal logic programming)
Implemented in Clojure as core.logic
core.logic