|
|
|
Head is a variable | instantiation_error | ||
Head is neither a variable nor a callable term | type_error(callable, Head) | ||
Body cannot be converted to a goal | type_error(callable, Body) | ||
The predicate indicator Pred of Head is that of a static procedure | permission_error(modify, static_procedure, Pred) | ||
|
Head is a variable | instantiation_error | ||
Head is neither a variable nor a callable term | type_error(callable, Head) | ||
The predicate indicator Pred of Head is that of a static procedure | permission_error(modify, static_procedure, Pred) | ||
|
Head is a variable | instantiation_error | ||
Head is not a callable term | type_error(callable, Head) | ||
The predicate indicator Pred of Head is that of a static procedure | permission_error(modify, static_procedure, Pred) | ||
|
Head is a variable | instantiation_error | ||
Head is neither a variable nor a callable term | type_error(callable, Head) | ||
The predicate indicator Pred of Head is that of a private procedure | permission_error(access, private_procedure, Pred) | ||
Body is neither a variable nor a callable term | type_error(callable, Body) | ||
|
Pred is a variable | instantiation_error | ||
Pred is a term Name/Arity and either Name or Arity is a variable | instantiation_error | ||
Pred is neither a variable nor a predicate indicator | type_error(predicate_indicator, Pred) | ||
Pred is a term Name/Arity and Arity is neither a variable nor an integer | type_error(integer, Arity) | ||
Pred is a term Name/Arity and Name is neither a variable nor an atom | type_error(atom, Name) | ||
Pred is a term Name/Arity and Arity is an integer < 0 | domain_error(not_less_than_zero, Arity) | ||
Pred is a term Name/Arity and Arity is an integer > max_arity flag (section 6.22.1) | representation_error(max_arity) | ||
The predicate indicator Pred is that of a static procedure | permission_error(modify, static_procedure, Pred) | ||