natural/4¶
natural(? Nat,+ Line,+ RestOfLine)*
Scan the list of codes Line for a natural number Nat, zero or a positive integer, and unify RestOfLine with the remainder of the line.
natural(? Nat,+ Line,+ RestOfLine)*
Scan the list of codes Line for a natural number Nat, zero or a positive integer, and unify RestOfLine with the remainder of the line.