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