Did you know ... Search Documentation:
Predicate instantiation_error/1
Availability::- use_module(library(error)).(can be autoloaded)
Sourceinstantiation_error(+FormalSubTerm)
An argument is under-instantiated. I.e. it is not acceptable as it is, but if some variables are bound to appropriate values it would be acceptable.
FormalSubTerm is the term that needs (further) instantiation. Unfortunately, the ISO error does not allow for passing this term along with the error, but we pass it to this predicate for documentation purposes and to allow for future enhancement.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2020-06-04T08:15:42):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

The ISO exception term has no information (see also throw/1) and is completely useless.

A single Term is better (and also sufficient), but one needs to pack and the Toplevel cannot make assumptions on how to print this Term. (Both (incomprehensibly) ISO and (more comprehensibly) the Toplevel make assumptions about the information carried by the terms buried in the other ISO exceptions. That's couter-productive.)

For example: we may want to specify for example that among Terms 1,2,3, the last two were not instantiated (they were maybe partially uninstantiated or maybe fully uninstantiated):

In that case, the following would be a possibility:

instantiation_error(
   ['X'-X,
    'Y'-Y,
    'Z'-Z,
    msg-'X and Y are not sufficiently instantiated but Z is fine'])