update_mutable/2update_mutable(+Datum, +Mutable)
Updates the current value of the mutable term Mutable to become Datum.
term, must be nonvar
mutable, must be nonvar
instantiation_errorDatum or Mutable is uninstantiated.
type_errorMutable is not a mutable.