Therefore, deterministic tail-recursive predicates are executed with constant stack space, like loops in other languages.
Proto jsou deterministické koncově-rekurzivní predikáty vykonány s konstantním zásobníkovým prostorem jako smyčky v jiných jazycích.