This arithmetic operator is used to multiply two numbers. If any of the operands is a floating point number then both numbers are treated as floating point numbers.
see also: arithmetic in Prolog is/2
| Examples | |
| X is 4 // 2. | succeeds, X is 2 |
| X is 4 // 1.1. | succeeds, X is 4 |
| Exceptions | |
| The result exceeds the floating point range | an evaluation_error(float_overflow) exception is thrown |