[eclipse 2]: make_suspension(help(X), 2, S). S = 'SUSP-_78-susp'
Scheduled and executed suspensions are by default printed as follows:
[eclipse 6]: make_suspension(true, 2, S), writeln(S),
schedule_woken([S]), writeln(S).
'SUSP-_88-susp'
'SUSP-_88-sched'
S = 'SUSP-_88-dead'
The way suspensions are printed can be changed by defining a write macro for the type goal:
[eclipse 1]: [user].
:- op(1090, fx, <), op(1100, xf, >).
trs(S, <Goal>) :-
suspension_to_goal(S, Goal, _).
:- define_macro(type(goal), trs/2, [write]).
^D
yes.
[eclipse 2]: make_suspension(writeln(hello), 2, S).
S = < writeln(hello) >