A.17 library(exceptions): Exception classification
All Application Manual Name SummaryHelp

Availability::- use_module(library(exceptions)).(can be autoloaded)
Sourceexception_type(+Type, +Term)
Declare all exceptions subsumed by Term to be an exception of Type. This declaration is module specific.
ClioPatria (version V3.1.1-51-ga0b30a5)