13 Writing Efficient Programs

• Eff Overview: Overview
• 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