| Status is a variable | instantiation_error | |
| Status is neither a variable nor an integer | type_error(integer, Status) | |
| Goal is a variable | instantiation_error | |
| Goal is neither a variable nor a callable term | type_error(callable, Goal) | |
| The predicate indicator Pred of Goal does not correspond to an existing procedure and the value of the unknown Prolog flag is error (section 6.22.1) | existence_error(procedure, Pred) | |
| Functor is a variable | instantiation_error | |
| Functor is neither a variable nor an atom | type_error(atom, Functor) | |
| Deterministic is neither a variable nor a boolean | type_error(boolean, Deterministic) | |
| Counter is neither a variable nor an integer | type_error(integer, Counter) | |
| Lower is a variable | instantiation_error | |
| Lower is neither a variable nor an integer | type_error(integer, Lower) | |
| Upper is a variable | instantiation_error | |
| Upper is neither a variable nor an integer | type_error(integer, Upper) | |