term_html:term/4

Render a Prolog term as a structured HTML tree. Options are passed to write_term/3. In addition, the following options are processed:

format(+Format): Used for atomic values. Typically this is used to render a single value.
float_format(+Format): If a float is rendered, it is rendered using format(string(S), Format, [Float])

To be done: - Cyclic terms.; - Attributed terms.; - Portray; - Test with Ulrich's write test set.; - Deal with numbervars and canonical.