ifocs9d@aucs.UUCP (Rick Giles) (11/14/87)
Is there a straightforward test one can apply to a Prolog implementation which will indicate that it is very likely that the implementation applies tail recursion optimization?