However, a foreign predicate might have a limitation; or there might be a limitation due to a missing component, such as multi-precision arithmetic (see https://www.swi-prolog.org/pldoc/man?section=flags#flag:bounded )
Did you know ... | Search Documentation: |
Predicate representation_error/1 |