groundVars(+Term, ?Grounded): Term with each of its variables replaced by an atom of its own ($var_0, ...): a term (with none of these atoms) unifies with Grounded if and only if it generalises Term
$var_0