Prolog provides an operator, called cut, for controlling backtracking. A cut is written as ! in programs. A cut in the body
of a clause has the effect of removing the choice points, or alternative clauses, of the goals to the left of the cut.
Subsections
Neng-Fa Zhou
2013-01-25