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
User's Manual
Table of Contents
Next
Previous
Up
Node Menu