Concatenative relational interpreter in miniKanren