|• ref-ere-err-ins:||Instantiation Errors|
|• ref-ere-err-uns:||Uninstantiation Errors|
|• ref-ere-err-typ:||Type Errors|
|• ref-ere-err-dom:||Domain Errors|
|• ref-ere-err-eva:||Evaluation Errors|
|• ref-ere-err-rep:||Representation Errors|
|• ref-ere-err-exi:||Existence Errors|
|• ref-ere-err-per:||Permission Errors|
|• ref-ere-err-con:||Context Errors|
|• ref-ere-err-cns:||Consistency Errors|
|• ref-ere-err-syn:||Syntax Errors|
|• ref-ere-err-res:||Resource Errors|
|• ref-ere-err-sys:||System Errors|
Exceptions thrown by the Prolog system are called errors.
Error terms have the form:
where the principal functor of ISO_Error (resp. SICStus_Error) indicates the error class (see ref-ere-err). The classification always coincides.
Please note: Do Not throw error terms except when you re-throw a previously caught error term. They correspond to the exceptions thrown by the built-in predicates. Throwing such forged error terms can lead to unexpected results.
See lib-types for an alternative interface to throwing error exceptions, which tries to include line number information for source-linked debugging.
Error messages like the one shown earlier are printed using the built-in
print_message/2. One of the arguments to
print_message/2 is the exception term.
can be customized, as described in ref-msg.
The set of error classes used by the system has been kept small:
An input argument is insufficiently instantiated.
An input argument is too instantiated.
An input argument is of the wrong type.
An input argument is illegal but of the right type.
An incorrect arithmetic expression was evaluated.
A computed value cannot be represented.
Something does not exist.
Specified operation is not permitted.
Specified operation is not permitted in this context.
Two otherwise correct values are inconsistent with each other.
Error in reading a term.
Some resource limit has been exceeded.
An error detected by the operating system.
The format of the exception thrown by the built-in predicates is:
where ISO_Error is the error term prescribed by the ISO Prolog standard, while SICStus_Error is the part defined by the standard to be implementation defined. This so called SICStus error term has the same principal functor as ISO_Error but more arguments containing additional information, such as the goal and the argument number causing the error. Arguments are numbered from 1 upwards. An argument number given as zero means that an unspecific argument caused the error.
The list below itemizes the error terms, showing the ISO_Error and SICStus_Error form of each one, in that order. The SICStus and ISO error terms always belong to the same error class, but note that the Context and Consistency error classes are extensions to the ISO Prolog standard.
The goal part of the error term may optionally have the form
$@(Callable,PC) where PC is an internal
encoding of the line of code containing the culprit goal or one
of its ancestors. To decompose an annotated goal AGoal into a Goal proper
and a SourceInfo descriptor term, indicating the source
position of the goal, use:
?- goal_source_info(AGoal, Goal, SourceInfo).
The reference page gives details about the SourceInfo format. See mpg-ref-goal_source_info.
Goal was called with insufficiently instantiated arguments.
Goal was called with too instantiated arguments, expecting Culprit to be uninstantiated.
Goal was called with the wrong type of argument(s). TypeName is the expected type and Culprit what was actually found.
Goal was called with argument(s) of the right type but with illegal value(s). Domain is the expected domain and Culprit what was actually found.
Something does not exist as indicated by the arguments. See ref-ere-err-exi for ways of controlling this behavior.
The Operation is not permitted on Culprit of the ObjectType. See ref-ere-err-per for ways of controlling this behavior.
The CommandType is not permitted in ContextType.
A syntax error was found when reading a term with
assembling a number from its characters with
number_codes/2. See ref-ere-err-syn for ways of controlling
An incorrect arithmetic expression was evaluated.
A representation error occurs when the program tries to compute some well-defined value that cannot be represented, such as a compound term with arity > 255.
A consistency error occurs when two otherwise valid values or operations have been specified that are inconsistent with each other.
A resource error occurs when SICStus Prolog has insufficient resources
to complete execution. The only value for ResourceType that is
currently in use is
An error occurred while dealing with the operating system.
Most exception terms include a copy of the Goal that threw the exception.
In general, built-in predicates that cause side-effects, such as the opening of a stream or asserting a clause into the Prolog database, attempt to do all error checking before the side-effect is performed. Unless otherwise indicated in the documentation for a particular predicate or error class, it should be assumed that goals that throw exceptions have not performed any side-effect.