Language Reference/Built-in entities/Operators
From wiki.visual-prolog.com
| Operator | Description | Remark |
|---|---|---|
| - (unary) | Unary minus | |
| ^ | Power operation | Not defined for 64 bit integral numbers |
| *, / | Multiplication and division | |
| div, mod | The quotient and remainder of an integral division rounded towards minus infinity | Not defined for reals |
| quot, rem | The quotient and remainder of an integral division rounded towards zero | Not defined for reals |
| +, - | Addition and subtraction |
- The operators are listed from highest to lowest precedence
- All division and multiplication operators have same precedence.
- The the power operator is right associative
- All other operators are left associative.
All binary operators takes two arguments of same base type and returns a value of that base type. Operands and result may be converted using ordinary subtype rules.
Integral division
div and quot for positive results they work the same, but if the result is negative div rounds towards minus infinitive, while quot rounds towards zero.
mod is the remainder corresponding to div, and rem is the remainder corresponding to quot.
| A | B | A div B | A mod B | A quot B | A rem B |
| 15 | 7 | 2 | 1 | 2 | 1 |
| -15 | 7 | -3 | 6 | -2 | -1 |
| 15 | -7 | -3 | -6 | -2 | 1 |
| -15 | -7 | 2 | -1 | 2 | -1 |