Add unit tests for ISO Prolog `halt/1` built-in predicate