Josh Munn's Website
A miniKanren quine
Here's a miniKanren quine that runs on the miniKanren implementation from The Reasoned Schemer:
((lambda (_) (run* x (conde ((≡ x _)) ((≡ x (list 'quote _)))))) '(lambda (_) (run* x (conde ((≡ x _)) ((≡ x (list 'quote _)))))))