Стек точек возврата освобождается в тот момент, когда
В стек точек возврата помещается указатель на то место программы, в котором:
Могут ли факты внутренней базы данных Турбо Пролога содержать свободные переменные?
В результате унификации списков [1,2,3,4] и [X,Y|Z] переменные получат следующие значения:
В результате выполнения предиката splitting([1,2,3],L1,L2) переменные L1 и L2 получат значения:
В результате выполнения предиката partition([1,2,3],2,L1,L2) переменные L1 и L2 получат значения:
В результате выполнения предиката fib_fast(3,X,Y) переменные X и Y получат значения:
Результат вычисления текущей подцели выводится (в окне трассировки) после:
Оптимизация, после которой рекурсия будет использовать столько же оперативной памяти, сколько и итерация, возможна для
Подцель, размещенная в теле правила после предиката fail:
