| Atom is a variable | instantiation_error | |
| Atom is neither a variable nor an atom | type_error(atom, Atom) | |
| see associated predicate errors | (section 6.14.1) and (section 6.14.3) | |
| Chars is a partial list or a list with an element E which is a variable | instantiation_error | |
| Chars is neither a partial list nor a list | type_error(list, Chars) | |
| an element E of the Chars list is neither a variable nor a character | type_error(character, E) | |
| see associated predicate errors | (section 6.14.1) and (section 6.14.3) | |
| Codes is a partial list or a list with an element E which is a variable | instantiation_error | |
| Codes is neither a partial list nor a list | type_error(list, Codes) | |
| an element E of the Codes list is neither a variable nor an integer | type_error(integer, E) | |
| an element E of the Codes list is an integer but not a character code | representation_error(character_code, E) | |
| see associated predicate errors | (section 6.14.1) and (section 6.14.3) | |
| Atom is neither a variable nor an atom | type_error(atom, Atom) | |
| see associated predicate errors | (section 6.14.6) and (section 6.14.7) | |
| Chars is neither a partial list nor a list | type_error(list, Chars) | |
| see associated predicate errors | (section 6.14.6) and (section 6.14.7) | |
| Codes is neither a partial list nor a list | type_error(list, Codes) | |
| see associated predicate errors | (section 6.14.6) and (section 6.14.7) | |