Add unit tests for ISO Prolog \+/1, once/1, and repeat/0 built-in predicates