Language Reference/Built-in entities/Operators

From wiki.visual-prolog.com

< Language Reference‎ | Built-in entities

Revision as of 15:22, 15 September 2008 by Thomas Linder Puls (talk | contribs) (1 revision(s))

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