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_errortype_error(callable, Goal)ignore(Goal)ignore(::Goal)ignore(Object::Goal)