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