| • Eff Overview: | Overview | |
| • Execution Profiling: | Execution Profiling | |
| • Coverage Analysis: | Coverage Analysis | |
| • The Cut: | The Cut | |
| • Indexing: | Indexing | |
| • Last Clause Determinacy Detection: | Last Clause Determinacy Detection | |
| • The Determinacy Checker: | The Determinacy Checker | |
| • Last Call Optimization: | Last Call Optimization | |
| • Building and Dismantling Terms: | Building and Dismantling Terms | |
| • Conditionals and Disjunction: | Conditionals and Disjunction | |
| • Programming Examples: | Programming Examples | |
| • The Cross-Referencer: | The Cross-Referencer |