error:instantiation

Availability::- use_module(library(error)).(can be autoloaded)

instantiation_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.