Next: , Previous: , Up: mpg-bpr   [Contents][Index]


11.3.58 !/0   ISO

Synopsis

!

Cut.

Description

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

Exceptions

None.

See Also

ref-sem-ctr-cut.


Send feedback on this subject.