You can clone with
cKanren restructured so as to be installable as a Racket collect (I
hope). Scribbled cKanren documentation! Breadth first and depth first
search strategies are now done with continuations and are much faster.
named conde branches within debug-mode. real #lang cKanren.
alpha-renaming oc procs
port of cKanren to racket