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