integer/4

integer(? Int,+ Line,+ RestOfLine)*

Scan the list of codes Line for an integer Nat, either a positive, zero, or negative integer, and unify RestOfLine with the remainder of the line.