instantiation

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(error): Error generating support
- Packages

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

instantiation_error(+Term)

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.

Term

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.