Arithmetic Package

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

Comments