SWI-Prolog Did You Know Did you know? SWI-Prolog supports arbitrarily large integers Search Documentation:
Predicate set_stream_position/2