|Did you know ...||Search Documentation:|
numbervarsafter numbervars/4 using the
Note that due to the use of numbervars/4,
non-ground terms must be written using a single write_canonical/1
call. This used to be the case anyhow, as garbage collection between
multiple calls to one of the write predicates can change the
identity of the variables.