10 Cuts and Negation

This lecture has two main goals:

1. To explain how to control Prolog's backtracking behavior with the help of the cut predicate.

2. To explain how cut can be packaged into more structured forms, notably negation as failure.

• 10.1 The cut

• 10.2 If-then-else

• 10.3 Negation as failure

• 10.4 Exercises

• 10.5 Practical Session 10