This arithmetic operator divides the left operand by the right operand. The integer point division operator treats both its operands as integer numbers, floating-point numbers are automatically converted to integer numbers.
see also: arithmetic in Prolog / /2 is/2
| Examples | |
| X is 4 // 2. | succeeds, X is 2 |
| X is 4 // 1.1. | succeeds, X is 4 |
| Exceptions | |
| The right operand is 0 | a evaluation_error(zero_divisor) exception is thrown |