A.16 library(error): Error generating support
All Application Manual Name SummaryHelp

Availability::- use_module(library(error)).(can be autoloaded)
Sourcepermission_error(+Operation, +PermissionType, +Culprit)
It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms’meaning).