11.3.56 !/0 [ISO]

Synopsis

!

Cut.

Description

When first encountered as a goal, cut succeeds immediately. If backtracking should later return to the cut, the parent goal will fail (the parent goal is the one that matched the head of the clause containing the cut).

See Also

ref-sem-ctr-cut.