Scryer Prolog documentation

Module arithmetic

:- use_module(library(arithmetic)).

Arithmetic predicates

These predicates are additions to standard the arithmetic functions provided by is/2.

expmod(+Base, +Expo, +Mod, -R).

Modular exponentiation. Base, Expo and Mod must be integers.

lcm(+A, +B, -Lcm) is det.

Calculates the Least common multiple for A and B: the smallest positive integer that is divisible by both A and B.

A and B need to be integers.

lsb(+X, -N).

True iff N is the least significat bit of integer X

msb(+X, -N).

True iff N is the most significant bit of integer X

number_to_rational(+Real, -Fraction).

True iff given a number Real, Fraction is the same number represented as a fraction.

rational_numerator_denominator(+Fraction, -Numerator, -Denominator).

True iff given a fraction Fraction, Numerator is the numerator of that fraction and Denominator the denominator.

popcount(+Number, -Bits1).

True iff given an integer Number, Bits1 is the amount of 1 bits the binary representation of that number has.

number_to_rational/3