6.3.3. МЕХАНИЗМ ЗАДЕРЖКИ ИСПОЛНЕНИЯ

Механизмом задержки исполнения подцелей называется вспомогательная стратегия управления, откладывающая исполнение выделенных подцелей до тех пор, пока не будет вычислена некоторая информация, необходимая для корректного исполнения этих подцелей.

Пересмотр списка задержанных подцелей осуществляется следующим образом:

1. Элементы списка просматриваются в том порядке, в котором они были в него добавлены.
2. При обнаружении каждого элемента списка, значение целевого параметра которого не является задерживающим, найденная подцель исключается из рассматриваемого списка и исполняется.

Считается, что на каждой фазе исполнения процесса используется новый список задержанных подцелей. В начале фазы список задержанных подцелей является пустым.

Ссылки: задерживающие значения 6.3.2, значение терма 3, исполнение предиката 6.3.1, подцель доказательства 6.3.1, процесс 5.2, список 3.2.2, список задержанных подцелей 6.3.2, фаза 5.2, целевой параметр 4.1.3.

Следующий: 6.3.4. ОТКАТ ПРОГРАММЫ
Предыдущий: 6.3.2. ИСПОЛНЕНИЕ ПРЕДЛОЖЕНИЯ

6.3. СТРАТЕГИЯ УПРАВЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)