Uninstantiation Errors

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.

Send feedback on this subject.