尾呼叫優化

事實上，所有 Prolog 系統都實現尾呼叫優化 （TCO）。這意味著如果謂詞是確定性的，那麼處於尾部位置的謂詞呼叫可以在常量堆疊空間中執行。

尾遞迴優化（TRO）是尾呼叫優化的一個特例。