%% ?- trigger.

trigger :- _ is 1.0e308 * 10.0.