Nice use of catch/3
?- X is 5 / 0.
swi-prolog:
X = 1.0Inf.
gprolog:
uncaught exception: error(evaluation_error(zero_divisor),(is)/2)
That depends on the flag float_zero_div, which defaults to error (as ISO wants). Possibly you loaded library clpBNR? that library enables IEEE754 non-normal floats rather than exceptions.
I did 