Стратегия управления Акторного Пролога ("акторный механизм") является расширением стандартной стратегии управления ("поиск слева направо в глубину с возвратом"), соответствующей текстуальному упорядочению процедур и вызовов предикатов. Отличиями акторного механизма от стандартной стратегии управления являются возможности повторного доказательства акторов, а также задержки исполнения подцелей.
Ссылки: актор 7.1, акторный механизм 7, вызов предиката 6.2, исполнение предиката 6.3.1, механизм задержки 6.3.3, повторные доказательства 7.1, процедура 6.
Следующий:
6.3.1. ИСПОЛНЕНИЕ ВЫЗОВА ПРЕДИКАТА
Предыдущий:
6.2.2. ВЫРАЖЕНИЯ
6. ПРЕДЛОЖЕНИЯ КЛАССОВ
6.3.1. ИСПОЛНЕНИЕ ВЫЗОВА ПРЕДИКАТА
6.3.2. ИСПОЛНЕНИЕ ПРЕДЛОЖЕНИЯ
6.3.3. МЕХАНИЗМ ЗАДЕРЖКИ ИСПОЛНЕНИЯ
6.3.4. ОТКАТ ПРОГРАММЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)