I'm interested in a miniKanren port, or something like it, to TXR Lisp. I would possibly make it a part of the standard library of the language, so programs could rely on it just being there.