SWI-Prolog Did You Know Did you know? 8cD Search Documentation:
Arithmetic Functions