Откатом называется возобновление исполнения процесса , начиная с последней (неустраненной оператором отсечения ) точки выбора . ... Ссылки: актор 7.1 , исполнение предложения 6.3.2 , исполнение процесса 5.2 , нейтрализация актора 7.1 , отсечение 8 , передача прямого сообщения 7.4.2 , переменная 2.1.1 , повторные доказательства 7.1 , предложение 6 , программа 4 , процесс 5.2 , прямые сообщения 7.4.2 , связывание 3.3 , состояние актора 7.1 , список задержанных подцелей 6.3.2 , сцепление переменных 3.3 . ...