Стек точек возврата освобождается в тот момент, когда
Откат происходит в то место программы, указатель на которое находится:
При откате к точке возврата связанные переменные, означенные после нее:
Как правило, исходный текст программы на Прологе по сравнению с исходным текстом программы на императивном языке по размеру:
Как правило, время разработки программы на Прологе по сравнению со временем разработки программы на императивном языке:
При рассмотрении декларативной модели программы порядок подцелей в предложении и предложений в процедуре:
При рассмотрении процедурной модели программы порядок подцелей в предложении и условиях предложений в процедуре: