Relational unifier, implemented in miniKanren