> I think it is poor form to use the term "tail recursion" as > in general it is undecidable if a tail call is recursive. > The fact that this term keeps cropping up makes me favour > the "pessimization" explanation. The Prolog world often called it "last call optimization". -- jeff