Node:Writing Efficient Programs, Next:The SICStus Tools, Previous:Handling Wide Characters, Up:Top

Writing Efficient Programs

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