Add unit tests for ISO Prolog arithmetic and term comparison built-in predicates