An uninstantiation error occurs when a predicate or command is called with one of its input arguments instantiated when an unbound variable was expected.
The SICStus_Error term associated with an instantiation error is
For example, the goal
open(f, write, bar)
throws the exception
because the third argument was not a variable.