write_term/2

"write_term(+ T, + Opts" ) is iso

Displays term T on the current output stream, according to the following options:

  • quoted(+ Bool) is iso If true, quote atoms if this would be necessary for the atom to be recognized as an atom by YAP's parser. The default value is false.

  • ignore_ops(+ Bool) is iso If true, ignore operator declarations when writing the term. The default value is false.

  • numbervars(+ Bool) is iso If true, output terms of the form $VAR(N), where N is an integer, as a sequence of capital letters. The default value is false.

  • variable_names(+ List) is iso If [List](classList.md) is a list of bindings Name = Var, output Var as if bound to Name. If not all variables are named, you can use the name_vars option to generate the missing variable names.

  • name_variables(+ Bool ) This YAP option generates user readable names for the term variables. It complements variable_names.

  • portrayed(+ Bool) If true, use ` portray_49 "portray/1" to portray bound terms. The default value is false.

  • portray(+ Bool) If true, use @ref portray_49 @"portray/1"to portray bound terms. The default value isfalse`.

  • max_depth(+ Depth) If Depth is a positive integer, use Depth as the maximum depth to portray a term. The default is 0, that is, unlimited depth.

  • priority(+ Piority) If Priority is a positive integer smaller than 1200, give the context priority. The default is 1200.

  • cycles(+ Bool) Do not loop in rational trees (default).

  • (+ Bool) Do not loop in rational trees (default).