Igor Wiedler's relational Turing Machine, ported from core.logic to miniKanren