A.16 library(error): Error generating support
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(error): Error generating support
type_error/2
domain_error/2
existence_error/2
existence_error/3
permission_error/3
instantiation_error/1
uninstantiation_error/1
representation_error/1
syntax_error/1
resource_error/1
must_be/2
is_of_type/2
has_type/2
current_encoding/1
current_type/3
Packages
Availability:
:- use_module(
library(error)
).
(can be
autoloaded
)
permission_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).
permission_error(+Operation,
+PermissionType, +Culprit)