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.
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.