ignore/1¶

ignore(: Goal)*

Calls Goal as once//11, but succeeds, regardless of whether Goal succeeded or not. Defined as:

 ignore(Goal) :-
 Goal, !.
 ignore(_).