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
)
[nondet]
current_type
(
?Type, @Var, -Body
)
True when
Type
is a currently defined type and
Var
satisfies
Type
of the body term
Body
succeeds.
[nondet]current_type(?Type,
@Var, -Body)[nondet]current_type(?Type,
@Var, -Body)