Node:Indexing, Next:Last Clause Determinacy Detection, Previous:The Cut, Up:Writing Efficient Programs