Atom is a variable | instantiation_error | |
Atom is neither a variable nor an atom | type_error(atom, Atom) | |
Length is neither a variable nor an integer | type_error(integer, Length) | |
Length is an integer < 0 | domain_error(not_less_than_zero, Length) | |
Atom1 and Atom12 are variables | instantiation_error | |
Atom2 and Atom12 are variables | instantiation_error | |
Atom1 is neither a variable nor an atom | type_error(atom, Atom1) | |
Atom2 is neither a variable nor an atom | type_error(atom, Atom2) | |
Atom12 is neither a variable nor an atom | type_error(atom, Atom12) | |
Atom is a variable | instantiation_error | |
Atom is neither a variable nor an atom | type_error(atom, Atom) | |
SubAtom is neither a variable nor an atom | type_error(atom, SubAtom) | |
Before is neither a variable nor an integer | type_error(integer, Before) | |
Length is neither a variable nor an integer | type_error(integer, Length) | |
After is neither a variable nor an integer | type_error(integer, After) | |
Before is an integer < 0 | domain_error(not_less_than_zero, Before) | |
Length is an integer < 0 | domain_error(not_less_than_zero, Length) | |
After is an integer < 0 | domain_error(not_less_than_zero, After) | |
Char and Code are variables | instantiation_error | |
Char is neither a variable nor a one-char atom | type_error(character, Char) | |
Code is neither a variable nor an integer | type_error(integer, Code) | |
Code is an integer but not a character code | representation_error(character_code) | |
Char1 and Char2 are variables | instantiation_error | |
Char1 is neither a variable nor a one-char atom | type_error(character, Char1) | |
Char2 is neither a variable nor a one-char atom | type_error(character, Char2) | |
Atom is a variable and Chars (or Codes) is a partial list or a list with an element which is a variable | instantiation_error | |
Atom is neither a variable nor an atom | type_error(atom, Atom) | |
Chars is neither a list nor a partial list | type_error(list, Chars) | |
Codes is neither a list nor a partial list | type_error(list, Codes) | |
Atom is a variable and an element E of the list Chars is neither a variable nor a one-char atom | type_error(character, E) | |
Atom is a variable and an element E of the list Codes is neither a variable nor an integer | type_error(integer, E) | |
Atom is a variable and an element E of the list Codes is an integer but not a character code | representation_error(character_code) | |
Number and Atom are variables | instantiation_error | |
Number is a variable and Chars (or Codes) is a partial list or a list with an element which is a variable | instantiation_error | |
Number is neither a variable nor an number | type_error(number, Number) | |
Atom is neither a variable nor an atom | type_error(atom, Atom) | |
Number is a variable and Chars is neither a list nor a partial list | type_error(list, Chars) | |
Number is a variable and Codes is neither a list nor a partial list | type_error(list, Codes) | |
Number is a variable and an element E of the list Chars is neither a variable nor a one-char atom | type_error(character, E) | |
Number is a variable and an element E of the list Codes is neither a variable nor an integer | type_error(integer, E) | |
Number is a variable and an element E of the list Codes is an integer but not a character code | representation_error(character_code) | |
Number is a variable, Atom (or Chars or Codes) cannot be parsed as a number and the value of the syntax_error Prolog flag is error (section 6.22.1) | syntax_error(atom explaining the error) | |
Constant is a variable and Codes is a partial list or a list with an element which is a variable | instantiation_error | |
Constant is neither a variable nor an atomic term | type_error(atomic, Constant) | |
Constant is a variable and Codes is neither a list nor a partial list | type_error(list, Codes) | |
Constant is a variable and an element E of the list Codes is neither a variable nor an integer | type_error(integer, E) | |
Constant is a variable and an element E of the list Codes is an integer but not a character code | representation_error(character_code) | |
Atom and Hash are both variables | instantiation_error | |
Atom is neither a variable nor an atom | type_error(atom, Atom) | |
Hash is neither a variable nor an integer | type_error(integer, Hash) | |
Hash is an integer < 0 | domain_error(not_less_than_zero, Hash) | |
Prefix is a variable | instantiation_error | |
Hash is a variable | instantiation_error | |
Prefix is neither a variable nor an atom | type_error(atom, Prefix) | |
Hash is neither a variable nor an integer | type_error(integer, Hash) | |
Hash is an integer < 0 | domain_error(not_less_than_zero, Hash) | |
Atom is not a variable | type_error(variable, Atom) | |
Atom is neither a variable nor an atom | type_error(atom, Atom) | |
Atom is neither a variable nor an atom | type_error(atom, Atom) | |
Property is neither a variable nor a n atom property term | domain_error(atom_property, Property) | |
Property = length(E) or hash(E) and E is neither a variable nor an integer | type_error(integer, E) | |