Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren - View it on GitHub