尾调用优化

事实上，所有 Prolog 系统都实现尾调用优化 （TCO）。这意味着如果谓词是确定性的，那么处于尾部位置的谓词调用可以在常量堆栈空间中执行。

尾递归优化（TRO）是尾调用优化的一个特例。