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