If I find it again, there's a video of a quine deduced by a scheme interpreter relationally defined in minikanren.