Difference between revisions of "Language Reference/Built-in entities/Operators"

From wiki.visual-prolog.com
(otherwise is right associative)
m (duplicated word)
 
Line 38: Line 38:
* The operators are listed from highest to lowest precedence
* The operators are listed from highest to lowest precedence
* All division and multiplication operators have same precedence.
* All division and multiplication operators have same precedence.
* The the power operator <vp>^</vp> and <vp>otherwise</vp> are right associative.
* The power operator <vp>^</vp> and <vp>otherwise</vp> are right associative.
* All other operators are left associative.
* All other operators are left associative.



Latest revision as of 12:07, 4 August 2020

See also Operators.

Operator Description Remark
^ Power operation Not defined for 64 bit integral numbers
- (unary) Unary minus
*, / Multiplication and division
div, mod The quotient and remainder of an integral division rounded towards minus infinity Not defined for real's
quot, rem The quotient and remainder of an integral division rounded towards zero Not defined for real's
+, - Addition and subtraction
otherwise Otherwise expression
  • The operators are listed from highest to lowest precedence
  • All division and multiplication operators have same precedence.
  • The power operator ^ and otherwise are 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 are different integral division operators.

  • div truncates towards minus infinite. mod is the remainder corresponding to div.
  • quot truncates towards zero. rem is the remainder corresponding to quot.

For positive results div and quot have same functionality.

The difference can be seen in this table:

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