built-in method

# `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)`

## Examples

Call a goal and succeeding even if it fails:
`ignore(Goal)`
To send a message succeeding even if it fails to self:
`ignore(::Goal)`
To send a message succeeding even if it fails to an explicit object:
`ignore(Object::Goal)`

See also

call/1-N, once/1, (\+)/1