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