records for arith (with support of unification)
miniKanren vs. URA

The example shows that miniKanren has the same termination properties as URA