Next: Indexing, Previous: Coverage Analysis, Up: Writing Efficient Programs [Contents][Index]
| • Cut Overview | Overview | |
| • Making Predicates Determinate | Making Predicates Determinate | |
| • Placement of Cuts | Placement of Cuts | |
| • Terminating a Backtracking Loop | Terminating a Backtracking Loop |