• 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 |