Port of miniKanren to Scala