Josh Munn's Website
A miniKanren quine [2022-04-11 Mon]

Home

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