%% ?- trigger.

fixed(a).
trigger :- retractall(fixed(_)).