Float Infinity is a number:
?- MinusInf is -1.0Inf, number(MinusInf). MinusInf = -1.0Inf.
Contrary to expectations, Float Not-a-Number is also a Number:
?- NaN is nan, number(NaN). NaN = 1.5NaN.
Did you know ... | Search Documentation: |
Predicate number/1 |
Float Infinity is a number:
?- MinusInf is -1.0Inf, number(MinusInf). MinusInf = -1.0Inf.
Contrary to expectations, Float Not-a-Number is also a Number:
?- NaN is nan, number(NaN). NaN = 1.5NaN.