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 _)))))))
Tags: