Next: The Prolog Library, Previous: Multiple SICStus Runtimes, Up: Top [Contents][Index]
| • 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 |