Package "arithmetic"

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

Kommentare