Writing Efficient Programs

• bas-eff-ove: Overview
• bas-eff-cut: The Cut
• bas-eff-ind: Indexing
• bas-eff-lcd: Last Clause Determinacy Detection
• bas-eff-det: The Quintus Determinacy Checker
• bas-eff-lco: Last Call Optimization
• bas-eff-bdm: Building and Dismantling Terms
• bas-eff-cdi: Conditionals and Disjunction
• bas-eff-xref: The Quintus Cross-Referencer