This library provides utilities that are primarily intended for interactive usage in a threaded Prolog environment. It allows for inspecting threads, manage I/O of background threads (depending on the environment) and manipulating the debug status of threads.
- List currently known threads with their status.
- Join all terminated threads.
- interactor is det
- interactor(?Title) is det
- Run a Prolog toplevel in another thread with a new console window. If Title is given, this will be used as the window title.
- Attach a console and run a Prolog toplevel in the current thread.
- thread_has_console is semidet
- True when the calling thread has an attached console.
- attach_console is det
- attach_console(?Title) is det
- Create a new console and make the standard Prolog streams point to it. If not provided, the title is built using the thread id. Does nothing if the current thread already has a console attached.
- xterm_args(-List) is nondet[multifile]
- Multifile and dynamic hook that provides (additional) arguments for
xterm(1)process opened for additional thread consoles. Each solution must bind List to a list of atomic values. All solutions are concatenated using append/2 to form the final argument list.
The defaults set the colors to black-on-light-yellow, enable a scrollbar, set the font using Xft font pattern and prepares the back-arrow key.
- tspy(:Spec) is det
- tspy(:Spec, +ThreadId) is det
- Trap the graphical debugger on reaching Spec in the specified or any thread.
- tdebug is det
- tdebug(+Thread) is det
- Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors.
- tnodebug is det
- tnodebug(+Thread) is det
- Disable debug-mode in all threads or the specified Thread.
- tbacktrace(+Thread) is det
- tbacktrace(+Thread, +Options) is det
- Print a backtrace for Thread to the stream
user_errorof the calling thread. This is achieved by inserting an interrupt into Thread using call_in_thread/2. Options:
- Number of stack frames to show. Default is the current Prolog
Other options are passed to get_prolog_backtrace/3.
- tprofile(+Thread) is det
- Profile the operation of Thread until the user hits a key.
The following predicates are exported, but not or incorrectly documented.