Looks like minikanren implementation messed with core.logic. Fixing mzero at least do not cause exception.