Node:
The Cut
, Next:
Indexing
, Previous:
Overview
, Up:
Writing Efficient Programs
The Cut
Cut Overview
:
Making Predicates Determinate
:
Placement of Cuts
:
Terminating a Backtracking Loop
: