raise_exception/1raise_exception(+Exception)
If Exception matches one of the SICStus error terms listed in
ref-ere-err, then the corresponding error term
error(ISO_Error, SICStus_Error) is thrown.
Otherwise, Exception is thrown as is.
New code should prefer the ISO-standard conformant throw/1.
Please note:
For backward compatibility reasons,
some Exception terms are automatically transformed into their corresponding ISO error/2 terms.
The standard conformant throw/1 does not perform any such transformation, and is generally preferable.
instantiation_errorref-ere, throw/1.