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