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
current_type/3
Packages
Availability:
:- use_module(
library(error)
).
(can be autoloaded)
permission_error
(
+Action, +Type, +Term
)
It is not allowed to perform
Action
on the object
Term
that is of the given
Type
.
permission_error(+Action,
+Type, +Term)permission_error(+Action,
+Type, +Term)