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)