This arithmetic operator divides the left operand by the right operand. The floating point division operator treats both its operands as floating point numbers, integers are automatically converted to floating point 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 3.636364 |
| Exceptions | |
| The right operand is 0 | a evaluation_error(zero_divisor) exception is thrown |