Add unit tests for a subset of the ISO Prolog standard specified control constructs and arithmetic functions