11.3.145 once/1 [ISO]

Synopsis

once(+P)

Equivalent to:

     P -> true ; fail.

Arguments

:P

callable, must be nonvar

Cuts in P do not make sense, but they are allowed, their scope being the goal P.

Exceptions

Call errors (see ref-sem-exc).

See Also

ref-sem.