%% ?- trigger.

trigger :- halt(not_an_integer).