miniKanren vs. URA

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