Igor Wiedler's relational Turing Machine, ported from core.logic to miniKanren - View it on GitHub