Controversy over cut

• Prolog is meant to be declarative

• cut operator alters the behavior of the built-in searching algorithm

• No declarative interpretation for cut—you must think about resolution to understand its effects

Previous slide

Next slide

Back to first slide

View graphic version