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.



Patrick Blackburn, Johan Bos and Kristina Striegnitz
Version 1.2.5 (20030212)