Did you know ... | Search Documentation: |
![]() | Title for pldoc(dir_index) |
pengines.pl -- Pengines: Web Logic Programming Made Easy![]() | ||
---|---|---|
pengines_io.pl -- Provide Prolog I/O for HTML clients![]() | ||
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. | ![]() |
pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe![]() | ||
term_to_json.pl![]() |