Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/alt/01060303.html
Дата изменения: Mon Sep 24 15:06:32 2007 Дата индексирования: Tue Oct 2 01:20:46 2012 Кодировка: IBM-866 Поисковые слова: п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п п |
Механизмом задержки исполнения подцелей называется вспомогательная стратегия управления, откладывающая исполнение выделенных подцелей до тех пор, пока не будет вычислена некоторая информация, необходимая для корректного исполнения этих подцелей.
Пересмотр списка задержанных подцелей осуществляется следующим образом:
Считается, что на каждой фазе исполнения процесса используется новый список задержанных подцелей. В начале фазы список задержанных подцелей является пустым.
Ссылки: задерживающие значения 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. СТРАТЕГИЯ УПРАВЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)