If SWI-Prolog is not compiled with GMP support, it does not support
- Unbounded integers
- Rational numbers
- Various random number and cryptographic features
- If a binary distribution starts, but check_installation/0 reports GMP as missing,
you should contact the packager of the distribution and point at this page.
- The binary installations for MacOS and Windows provided by us bundle the GMP
library. If there are issues, report them.
- If you built from source, make sure the GMP development libraries are installed.
Perform a fully new build afterwards and re-check.