This is handy for writing large integers, for example in cryptographic applications. This addresses #994. Examples: ?- X = 1_000_000. %@ X = 1000000. ?- X = 1_ 000_ 000. %@ X = 1000000.
This is handy for writing large integers, for example in cryptographic applications. This addresses #994. Examples: ?- X = 1_000_000. %@ X = 1000000. ?- X = 1_ 000_ 000. %@ X = 1000000.