# Arithmetic Package

This theory is concerned with the integers and floats of the Prolog
interpreter. We find the following topics:

- Arithmetic Domains: The
used
number representation. More...

- Elementary Operations: The
available
elementary
operations. More...

- Rounding Operations: The
available
rounding
operations. More...

- Bitwise Operations: The
available
bitwise operations. More...

- Trigonometric Operations: The
available
trigonometric operations. More...

- Arithmetic Comparisons: The
available
number
comparisons.
More...

- Compatibility Matrix: ISO/DEC10
compatibility
issues
of
the
arithmetic
theory.
More...

## Comments