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
Goalis a variable:
Goalis neither a variable nor a callable term: