Add unit tests for a subset of the ISO Prolog standard specified predicates