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