[Group Index|Full Index]
ECLiPSe Kernel: Arithmetic
- *(+Number1, +Number2, ?Result)
-
Evaluates the product Number1 * Number2 and unifies the resulting value
with Result.
- +(+Number, ?Result)
-
Checks if Number is a number and unifies it with Result.
- +(+Number1, +Number2, ?Result)
-
Evaluates the sum Number1 + Number2 and unifies the resulting value with
Result.
- -(+Number, ?Result)
-
Unifies the negative of Number with Result.
- -(+Number1, +Number2, ?Result)
-
Evaluates the difference Number1 - Number2 and unifies the resulting value
with Result.
- /(+Number1, +Number2, ?Result)
-
Evaluates the quotient Number1 / Number2 and unifies the resulting value
with Result.
- //(+Number1, +Number2, ?Result)
-
Evaluates the integer quotient Number1 // Number2 and unifies the resulting
value with Result.
- /\(+Number1, +Number2, ?Result)
-
Evaluates the bitwise conjunction Number1 /\ Number2 and unifies the
resulting value with Result.
- +Expr1 < +Expr2
-
Succeed if the value of Expr1 is less than the value of Expr2.
- <<(+Number1, +Number2, ?Result)
-
Shifts Number1 left arithmetically by Number2 bits and unifies the
resulting value with Result.
- +Expr1 =:= +Expr2
-
Succeed if the value of Expr1 is equal to the value of Expr2.
- +Expr1 =< +Expr2
-
Succeed if the value of Expr1 is less than or equal to the value of Expr2.
- +Expr1 =\= +Expr2
-
Succeed if the value of Expr1 is not equal to the value of Expr2.
- +Expr1 > +Expr2
-
Succeed if the value of Expr1 is greater than the value of Expr2.
- +Expr1 >= +Expr2
-
Succeed if the value of Expr1 is greater than or equal to the value of
Expr2.
- >>(+Number1, +Number2, ?Result)
-
Shifts Number1 right arithmetically by Number2 bits and unifies the
resulting value with Result.
- \(+Number, ?Result)
-
Evaluates the bitwise complement of Number and unifies the resulting value
with Result.
- \/(+Number1, +Number2, ?Result)
-
Evaluates the bitwise disjunction Number1 \/ Number2 and unifies the
resulting value with Result.
- ^(+Number1, +Number2, ?Result)
-
Evaluates the expression Number1 "to the power of" Number2 and unifies the
resulting value with Result.
- abs(+Number, ?Result)
-
Unifies the absolute value of Number with Result.
- acos(+Number, ?Result)
-
Evaluates the trigonometric function acos(Number) and unifies the resulting
value with Result.
- asin(+Number, ?Result)
-
Evaluates the trigonometric function asin(Number) and unifies the resulting
value with Result.
- atan(+Number, ?Result)
-
Evaluates the trigonometric function atan(Number) and unifies the resulting
value with Result.
- between(+From, +To, +Step, ?Result)
-
Generate integer values between From and To with Step increment.
- ceiling(+Number, ?Result)
-
Unifies Result with the least integral value that is greater than or equal to
Number and of the same numeric type as Number.
- clrbit(+Number, +Index, ?Result)
-
Result is Number with the Index'th bit cleared.
- cos(+Number, ?Result)
-
Evaluates the trigonometric function cos(Number) and unifies the resulting
value with Result.
- denominator(+Number, ?Result)
-
Extracts the denominator of the rational Number and unifies the resulting
integer with Result.
- eval(+Expression, ?Result)
-
Used to evaluate eval/1 terms in arithmetic expressions. It is equivalent
to Result is Expression, which should be preferred for direct use.
- exp(+Number, ?Result)
-
Evaluates the exponential function exp(Number) ("e to the power of Number")
and unifies the resulting value with Result.
- fix(+Number, ?Result)
-
Unifies the integer part of Number with Result (Truncation towards zero).
- float(+Number, ?Result)
-
Converts the integer Number to real and unifies the resulting value with
Result.
- floor(+Number, ?Result)
-
Unifies Result with the greatest integral value that is less or equal than
Number and of the same numeric type as Number.
- frandom(?F)
-
Generates a random floating-point number F in the range <0, 1>.
- getbit(+Number, +Index, ?Result)
-
Result is the Index'th bit of Number.
- ?Result is +Expression
-
Evaluates the arithmetic expression Expression and unifies the resulting
value with Result.
- ln(+Number, ?Result)
-
Evaluates the natural logarithm ln(Number) and unifies the resulting value
with Result.
- max(+Number1, +Number2, ?Maximum)
-
Unifies the maximum of Number1 and Number2 with Maximum.
- min(+Number1, +Number2, ?Minimum)
-
Unifies the minimum of Number1 and Number2 with Minimum.
- mod(+Number1, +Number2, ?Result)
-
Evaluates the modulus Number1 mod Number2 and unifies the resulting value
with Result.
- numerator(+Number, ?Result)
-
Extracts the numerator of the rational Number and unifies the resulting
integer with Result.
- plus(?Add1, ?Add2, ?Sum)
-
Succeeds if Sum is the sum of integer arguments Add1 and Add2.
- random(?N)
-
Generates a random integer N.
- rational(+Number, ?Result)
-
Converts Number into a rational number and unifies it with Result.
- round(+Number, ?Result)
-
Rounds Number to the nearest integral value of the same type and unifies
the resulting real value with Result.
- seed(+Seed)
-
Sets the initial seed Seed for generating random numbers with random/1 or
frandom/1.
- setbit(+Number, +Index, ?Result)
-
Result is Number with the Index'th bit set.
- sgn(+Number, ?Result)
-
Unifies Result with the sign of Number which is either --1, 0 or 1.
- sin(+Number, ?Result)
-
Evaluates the trigonometric function sin(Number) and unifies the resulting
value with Result.
- sqrt(+Number, ?Result)
-
Evaluates the square root sqrt(Number) and unifies the resulting value with
Result.
- sum(+ExprList, ?Result)
-
Evaluates the the arithmetic expressions in ExprList and unifies their sum
with Result.
- tan(+Number, ?Result)
-
Evaluates the trigonometric function tan(Number) and unifies the resulting
value with Result.
- times(?Factor1, ?Factor2, ?Product)
-
Succeeds if Product is the result of multiplying integer arguments Factor1
and Factor2.
- xor(+Number1, +Number2, ?Result)
-
Evaluates the bitwise exclusive disjunction Number1 xor Number2 and unifies
the resulting value with Result.