<< Prev | - Up - | Next >> |
This lecture has two main goals:
To explain how to control Prolog's backtracking behavior with the help of the cut predicate.
To explain how cut can be packaged into more structured forms, notably negation as failure.
<< Prev | - Up - | Next >> |