9.3 The Cut

• Cut Overview: Overview
• Making Predicates Determinate: Making Predicates Determinate
• Placement of Cuts: Placement of Cuts
• Terminating a Backtracking Loop: Terminating a Backtracking Loop