Add unit tests for a subset of the ISO Prolog standard specified built-in arithmetic functions