Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher - View it on GitHub