| 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) | |
| Instances is neither a partial list nor a list | type_error(list, Instances) | |
| 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) | |
| Instances is neither a partial list nor a list | type_error(list, Instances) | |