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)
existence_error
(
+Type, +Term, +Set
)
Term
is of the correct type and correct domain, but there is no existing (external) resource that is represented by it in the provided set.
Compatibility
This error is not in ISO.
existence_error(+Type,
+Term, +Set)Term is of the correct type and correct domain, but there is
no existing (external) resource that is represented by it in the
provided set.