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) | |