SWI-Prolog Did You Know Did you know? condition is an alternative to exceptions Search Documentation:
Predicate rsa_public_encrypt/4