Uses prep from the core.logic unifier namespace to work with latest version of core.logic