error:uninstantiation

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

uninstantiation_error(+Culprit)

An argument is over-instantiated. This error is used for output arguments whose value cannot be known upfront. For example, the goal open(File, read, input) cannot succeed because the system will allocate a new unique stream handle that will never unify with input.