7. АКТОРЫ И ПОВТОРНЫЕ ДОКАЗАТЕЛЬСТВА

Повторное доказательство акторов в Акторном Прологе автоматически поддерживает корректность логического вывода при использовании разрушающего присваивания и параллельных процессов.

Ссылки: актор 7.1, повторные доказательства 7.1, процесс 5.2, разрушающее присваивание 8.1.


Следующий: 7.1. АКТОРЫ
Предыдущий: 6.3.4. ОТКАТ ПРОГРАММЫ


7.1. АКТОРЫ
7.2. ОБЩИЕ ПЕРЕМЕННЫЕ
7.3. СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА
7.4. СОГЛАСОВАНИЕ ПРОЦЕССОВ
7.5. ИСКЛЮЧИТЕЛЬНЫЕ СИТУАЦИИ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)