A.16 library(error): Error generating support
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(error)).(can be autoloaded)
Sourceuninstantiation_error(+Term)
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.