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