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

From wiki.visual-prolog.com
m (subarticle)
(otherwise)
Line 29: Line 29:
 
| <vp>+</vp>, <vp>-</vp>
 
| <vp>+</vp>, <vp>-</vp>
 
| Addition and subtraction
 
| Addition and subtraction
 +
|
 +
|-
 +
| <vp>otherwise</vp>
 +
| Otherwise expression
 
|
 
|
 
|}
 
|}

Revision as of 00:17, 16 July 2017

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 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 are different integral division operators.

  • div rounds towards minus infinite. mod is the remainder corresponding to div.
  • quot rounds 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