This arithmetic predicate determines the integer part of it's floating point argument. The integer part are the numbers before the dot character in a floating point value.
see also: arithmetic in Prolog float_fractional_part/1 is/2
| Examples | |
| X is float_integer_part(1). | succeeds, X is 1 |
| X is float_integer_part(-1.11). | succeeds, X is -1 |
| X is float_integer_part(2.99). | succeeds, X is 2 |
| Exceptions | |
| An arithmetic overflow | a evaluation_error(float_overflow) exception is thrown |