halt(+ I)* is iso
Halts Prolog, and exits to 1the calling application returning the code given by the integer I.