Chapter 10
Cuts and Negation

This chapter has two main goals:

1. To explain how to control Prolog’s backtracking behaviour with the help of the cut predicate.
2. To explain how cut can be packaged into a more structured form, namely negation as failure.