|  | 
| Term and Name are both variables |  | instantiation_error | 
|  | 
| Term and Arity are both variables |  | instantiation_error | 
|  | 
| Term is a variable and Name is neither a variable
nor an atomic term |  | type_error(atomic, Name) | 
|  | 
| Term is a variable and Arity is neither a
variable nor an integer |  | type_error(integer, Arity) | 
|  | 
| Term is a variable, Name is a constant but not an
atom and Arity is an integer > 0 |  | type_error(atom, Name) | 
|  | 
| Term is a variable and Arity is an integer >
max_arity flag (section 6.22.1) |  | representation_error(max_arity) | 
|  | 
| Term is a variable and Arity is an integer < 0 |  | domain_error(not_less_than_zero, Arity) | 
|  | 
|  | 
| Term is a variable and List is a partial list |  | instantiation_error | 
|  | 
| List is neither a partial list nor a list |  | type_error(list, List) | 
|  | 
| Term is a variable and List is a list whose head
is a variable |  | instantiation_error | 
|  | 
| List is a list whose head H is neither an atom
nor a variable and whose tail is not the empty list |  | type_error(atom, H) | 
|  | 
| List is a list whose head H is a compound term
and whose tail is the empty list |  | type_error(atomic, H) | 
|  | 
| Term is a variable and List is the empty list |  | domain_error(non_empty_list, []) | 
|  | 
| Term is a variable and the tail of List has a
length > max_arity flag (section 6.22.1) |  | representation_error(max_arity) | 
|  | 
|  | 
| N is a variable |  | instantiation_error | 
|  | 
| N is neither a variable nor an integer |  | type_error(integer, N) | 
|  | 
| N is an integer < 0 |  | domain_error(not_less_than_zero, N) | 
|  | 
| Term is a variable |  | instantiation_error | 
|  | 
| Term is neither a variable nor a compound term |  | type_error(compound, Term) | 
|  | 
| NewValue is neither an atom nor an integer and
Undo = false |  | type_error(atomic, NewValue) | 
|  | 
| Undo is a variable |  | instantiation_error | 
|  | 
| Undo is neither a variable nor a boolean |  | type_error(boolean, Undo) | 
|  |