Logtalk reference manual
Built-in method: ignore/1
ignore/1
Description
ignore(Goal)
This predicate succeeds weather 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.
Template and modes
ignore(+callable)
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 goal as a non-backtracable message to self:
ignore(::Goal)
- To send a goal as a non-backtracable message to an explicit object:
ignore(Object::Goal)
See also
call/1-N
, once/1
, \+/1