miniKanren interpreter in Scheme