Next:
Indexing
, Previous:
Coverage Analysis
, Up:
Writing Efficient Programs
9.4 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
User's Manual
Table of Contents
Send feedback on this subject.