This arithmetic operator subtracts the right operand from the left operand.
see also: arithmetic in Prolog is/2 -/1
| Examples | |
| X is 20 - 2.3. | succeeds, X is 17.7 |
| X is 1 - 5. | succeeds, X is -4 |
| Exceptions | |
| The floating point argument or result exceeds the floating point range | an evaluation_error(float_overflow) exception is thrown |
| The integer argument result exceeds the integer range | an evaluation_error(int_overflow) exception is thrown |