Arithmetic

Predicates

*(+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.

breal(+Number, ?Result)

Converts Number into a breal number and unifies it with Result.

breal_bounds(+Number, ?Min, ?Max)

Extracts lower and upper floating point bounds of Number

breal_from_bounds(++Lo, ++Hi, -Result)

Constructs a bounded real from the given floating point bounds

breal_max(+Number, ?Result)

Extracts the upper floating point bound of Number

breal_min(+Number, ?Result)

Extracts the lower floating point bound of Number

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.

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 Number to float 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(+ExprList, ?Result)

Evaluates the the arithmetic expressions in ExprList and unifies their maximum with Result.

max(+Number1, +Number2, ?Maximum)

Unifies the maximum of Number1 and Number2 with Maximum.

min(+ExprList, ?Result)

Evaluates the the arithmetic expressions in ExprList and unifies their minimum with Result.

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

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.

Description