ignore/1¶
Description¶
ignore(Goal)
This predicate succeeds whether its argument succeeds or fails and it is not re-executable. This built-in meta-predicate is declared as a private method and thus cannot be used as a message to an object.
This meta-predicate is opaque to cuts in its argument.
Modes and number of proofs¶
ignore(+callable) - one
Errors¶
Goal is a variable:
instantiation_error
Goal is neither a variable nor a callable term:
type_error(callable, Goal)