term_html.pl -- Represent Prolog terms as HTML
This file is primarily designed to support running Prolog applications over the web. It provides a replacement for write_term/2 which renders terms as structured HTML.
- term(@Term, +Options)// is det
- Render a Prolog term as a structured HTML tree. Options are
passed to write_term/3. In addition, the following options are
processed:
- float_format(+Format)
- If a float is rendered, it is rendered using
format(string(S), Format, [Float])%
- compound(+Compound, +Options)// is det[private]
- Process a compound term.
- arg_options(+Options, -OptionsOut) is det[private]
- arg_options(+Options, +Extra, -OptionsOut) is det[private]
- Increment depth in Options.
- args(+Arg0, +Arity, +Compound, +Options)//[private]
- Emit arguments of a compound term.
- list(+List, +Options)//[private]
- Emit a list. The List may have an unbound tail.
- is_op1(+Name, -Type, -Priority, -ArgPriority, +Options) is semidet[private]
- True if Name is an operator taking one argument of Type.
- is_op2(+Name, -LeftPri, -Pri, -RightPri, +Options) is semidet[private]
- True if Name is an operator taking two arguments of Type.
- operator_module(-Module, +Options) is det[private]
- Find the module for evaluating operators.
- op1(+Type, +Pri, +Term, +ArgPri, +Options)// is det[private]
- op2(+Pri, +Term, +LeftPri, +RightPri, +Options)// is det[private]
- space(@T1, @T2, +Options)//[private]
- Emit a space if omitting a space between T1 and T2 would cause the two terms to join.
- end_code_type(+Term, -Code, Options)[private]
- True when code is the first/last character code that is emitted by printing Term using Options.
- dict(+Term, +Options)//[private]
- primitive(+Term, -Class) is semidet[private]
- True if Term is a primitive term, rendered using the CSS class Class.
- primitive_class(+Class0, +Value, -String, -Class) is det[private]
- Fixup the CSS class for lexical variations. Used to find quoted atoms.
- blob_rendering(+BlobType, +Blob, +WriteOptions)// is semidet[multifile]
- Hook to render blob atoms as HTML. This hook is called whenever a blob atom is encountered while rendering a compound term as HTML. The blob type is provided to allow efficient indexing without having to examine the blob. If this predicate fails, the blob is rendered as an HTML SPAN with class 'pl-blob' containing BlobType as text.
- arg_options(+Options, -OptionsOut) is det[private]
- arg_options(+Options, +Extra, -OptionsOut) is det[private]
- Increment depth in Options.