Writing Terms: the "Write" Predicates

write_term/[2,3] is a generalization of the others and provides a number of options.