%% goal: trigger

trigger :- halt(not_an_integer).