Relational interpreter in miniKanren that can generate quines - View it on GitHub