UNDER CONSTRUCTION
TODO - send_control vs send_message vs send_query
Use the development version of SWI-PROLOG (https://www.swi-prolog.org/build/PPA.html)
% sudo apt-add-repository ppa:swi-prolog/devel
% sudo apt-get update
% sudo apt-get install swi-prologInstall xterm
sudo apt-get install xtermDefine ~/.config/sw-prolog/init.pl
:- set_prolog_flag(history, 50).
:- use_module(library(clpfd)).
:- use_module(library(threadutil)).
:- set_prolog_flag(double_quotes, chars).
ttrace(Thread) :-
thread_signal(Thread, (attach_console, trace)).
tnotrace(Thread) :-
thread_signal(Thread, (attach_console, notrace)).% Start agency with the domain and port where th body is hosted
?- [load].
?- agency:start('localhost:4000').?- [load].
?- [load_tests].
?- run_tests.To debug a thread named t1, do
% To use GUI tracer
guitracer.
% To instrument the thread for tracing
tdebug(t1).
% To initiate tracing on the thread, with output in an XTerm window
ttrace(t1).
% to stop tracing
tnotrace(t1).
% to dsiable debugging a trace
tnodebug(t1).See