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.

eXTReMe Tracker
© 2006-2012 Patrick Blackburn, Johan Bos, Kristina Striegnitz