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 it.
Subsections
Neng-Fa Zhou
2012-01-03
