Node:The Cut, Next:Indexing, Previous:Eff Overview, Up:Writing Efficient Programs

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