messages.pl -- Run goals that produce messages
This module allows executing (long running) Prolog goals and see the messages appear in the browser.
- call_showing_messages(:Goal, +Options) is det
- Execute Goal, showing the feedback in the browser. This
predicate builds a default application page with a placeholder
for the messages. It then sends all HTML upto the placeholder
and flushes the output to the browser. During execution, all
output from Goal emitted through print_message/2 is caught in
the message-box. After completion of Goal the page is completed.
This predicate is intended for action such as loading RDF files, while providing feedback on files loaded and possible error messages. Note that this call creates a complete page.
- after_messages(+HTML) is det
- Close the message window and emit HTML. This predicate may be called from the Goal of call_showing_messages/2 to indicate that all work has been done.
- header(+Style, +Head, +Header, +Footer, -FooterTokens)[private]
- Emit all tokens upto the placeholder for the actual messages and return the remaining page-tokens in FooterTokens. Style and Head are passed