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.
ignore(+callable)
instantiation_error
type_error(callable, Goal)
ignore(Goal)
ignore(::Goal)
ignore(Object::Goal)