| pengines.pl | ||
|---|---|---|
| pengines_io.pl | ||
| binding_term/5 | Hook to render a Prolog result term as HTML. | |
| message_lines_to_html/3 | Helper that translates the Lines argument from user:message_hook/3 into an HTML string. | |
| pengine_bind_io_to_html/1 | Redefine the built-in predicates for IO to send HTML messages using pengine_output/1. | |
| pengine_display/1 | Redirect the corresponding Prolog output predicates. | |
| pengine_flush_output/0 | No-op. | |
| pengine_format/1 | As format/1,2. | |
| pengine_format/2 | As format/1,2. | |
| pengine_io_predicate/1 | True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding. | |
| pengine_listing/0 | List the content of the current pengine or a specified predicate in the pengine. | |
| pengine_listing/1 | List the content of the current pengine or a specified predicate in the pengine. | |
| pengine_nl/0 | Emit a <br/> to the pengine. | |
| pengine_print/1 | Redirect the corresponding Prolog output predicates. | |
| pengine_tab/1 | Emit N spaces. | |
| pengine_write/1 | Redirect the corresponding Prolog output predicates. | |
| pengine_write_canonical/1 | Redirect the corresponding Prolog output predicates. | |
| pengine_write_term/2 | Writes term as <span class=Class>Term</span>. | |
| pengine_writeln/1 | Emit Term as <span class=writeln>Term<br></span>. | |
| pengine_writeq/1 | Redirect the corresponding Prolog output predicates. | |
| send_html/1 | Convert html//1 term into a string and send it to the client using pengine_output/1. | |
| show_html_hook/1 | Hook into help/1 to render the help output in the SWISH console. | |
| message_hook/3 | Send output from print_message/2 to the pengine. | |
| term_to_json.pl | ||